Agda 2 ======
Note that this README is only about Agda, not its standard library. See the [Agda Wiki][agdawiki] for information about the library.
Documentation -------------
- User manual
(per-commit pdf can be downloaded from the github actions page)
- CHANGELOG
Getting Started ----------------
- Installation
- [Quick guide to editing, type checking and compiling Agda
code](https://agda.readthedocs.io/en/latest/getting-started/a-taste-of-agda.html)
Contributing to Agda --------------------
- Contributing to Agda
- Haskell style-guide
[agdawiki]: http://wiki.portal.chalmers.se/agda/pmwiki.php