Changelog for Agda-2.6.2.1

Release notes for Agda version 2.6.2.1

Highlights

Installation and infrastructure

Agda 2.6.2.1 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 2.6.2.1 has been adapted to recent changes in the Haskell ecosystem, including:

Compiler backends

LaTeX backend

List of closed issues

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