Changelog for Agda-2.6.3.20230930

Release notes for Agda version 2.6.4

Highlights

Installation

Pragmas and options

Library management

Interaction and emacs mode

Syntax

Language

Erasure

Reflection

Other issues closed

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