agda-stdlib

The Agda standard library. You can browse the source in glorious clickable html here:

https://agda.github.io/agda-stdlib/README.html