Monthly Downloads: 392
Programming language: Haskell
Latest version: v2.6.3Add another 'Agda' Package
[The official Agda logo](doc/user-manual/agda.svg)
Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.