agda-stdlib The Agda standard library. You can browse the source in glorious clickable html here: http://agda.github.io/agda-stdlib/html/README.html