Changelog for Agda-2.6.2.1.20220320

Release notes for Agda version 2.6.2.2

Highlights

Installation and infrastructure

Agda supports GHC versions 8.0.2 to 9.2.2.

Language

Compiler backends

Performance