Popularity
10.0
Stable
Activity
9.8
Declining
2,108
63
296
Monthly Downloads: 300
Programming language: Haskell
License: LicenseRef-OtherLicense
Latest version: v2.6.3
Add another 'Agda' Package
Popular Comparisons
README
Agda 2
[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.
Documentation
- User manual (per-commit pdf can be downloaded from the github actions page)
- CHANGELOG
Getting Started
Contributing to Agda
- Contribution how-to:
HACKING
- Haskell style-guide