Changelog for Agda-2.6.1

Release notes for Agda version 2.6.1

General

Installation and infrastructure

Pragmas and options

Language

Syntax

Type checking

Modalities

Universe levels

Termination checking

Irrelevance and Prop

Rewrite rules

Tactics & Reflection

Builtins

Warnings

Emacs mode

GHC Backend

LaTeX backend

API

Other issues

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

The following previously closed issues were reopened: