The Agda standard library. You can browse the source in glorious clickable html here:
isabella232 / agda-stdlib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from larrytheliquid/agda-stdlib
The Agda standard library
License: Other