Changelog for Agda-2.6.2.2.20221106

Release notes for Agda version 2.6.3

Highlights

Installation and infrastructure

Agda supports GHC versions 8.0.2 to 9.4.2.

Erasure

Cubical Agda

The flat modality

Reflection

Syntax declarations

Builtins

Pragmas and options

Profiling and performance

Library management

Interaction

Compiler backends

DOT backend

JSON API

Other issues closed

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