The Agda standard library. You can browse the source in glorious clickable html here:
liamoc / agda-stdlib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from agda/agda-stdlib
The Agda standard library
Home Page: http://wiki.portal.chalmers.se/agda/pmwiki.php
License: Other