Popularity
10.0
Stable
Activity
9.7
Growing
1,983
61
271
Monthly Downloads: 419
Programming language: Haskell
License: LicenseRef-OtherLicense
Latest version: v2.6.3
Add another 'Agda' Package
|
Workflow assistant built for devs & their teams
sponsored
www.zigi.ai
|
Popular Comparisons
|
Truly a developer’s best friend
sponsored
scoutapm.com
|
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