Popularity
10.0
Stable
Activity
9.7
Declining
1,630
49
203
Monthly Downloads: 440
Programming language: Haskell
License: LicenseRef-OtherLicense
Latest version: v2.6.3
Add another 'Agda' Package
|
Scout APM: A developer's best friend. Try free for 14-days
sponsored
scoutapm.com
|
Popular Comparisons
|
Run Linux Software Faster and Safer than Linux with Unikernels
sponsored
github.com/nanovms
|
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