Changelog for Agda-2.6.20240806

Release notes for Agda version 2.7.0

Highlights

Installation

Pragmas and options

Lossy unification

Syntax

Additions to the Agda syntax.

Language

Changes to type checker and other components defining the Agda language.

Reflection

Changes to the meta-programming facilities.

Interaction and emacs mode

API

Highlighting some changes to Agda as a library.

List of closed issues

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

These (relevant) pull requests were merged for 2.7.0: