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

• Prerequisites
• Installation
• Quick guide to editing, type checking and compiling Agda code

• Contribution how-to: HACKING
• Haskell style-guide