Changelog for Agda-

Release notes for Agda version


Installation and infrastructure

Agda is expected to build with GHC versions 8.0 to 9.2. It has been tested with the latest minor version releases of GHC for each of these major versions:

Agda has been adapted to recent changes in the Haskell ecosystem, including:

Compiler backends

LaTeX backend

List of closed issues

For, the following issues were closed (see bug tracker):