Agda 2
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