Since the move to github, the README files no longer automatically contain links to the other modules. I see that they are now Agda files, not HTML. Is there anything that can be done about this? Are the HTML docs still generated by make?
Page last modified on March 02, 2016, at 10:17 am
Powered by
PmWiki