Note: This branch of Agda has a backend that extracts the internal representation of files as s-expressions.
Run agda --help and have a look at the --sexp command-line option to see how it is used.
Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.
- User manual (per-commit pdf can be downloaded from the github actions page)
- CHANGELOG
- Contribution how-to:
HACKING - Haskell style-guide