agda-stdlibThe Agda standard library. You can browse the source in glorious clickable html here:http://agda.github.io/agda-stdlib/html/README.html3 keywords4 versionsagdastandardlibrary0.9.310 years ago0.9.210 years ago0.9.110 years ago0.9.010 years ago