Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.
Head to HACKING
Cubesoup/agda
Agda is a dependently typed programming language / interactive theorem prover.
README
Contributors
