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

• Installation


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

Contributing to Agda

• Contribution how-to: HACKING


• Haskell style-guide