[Agda] [ANNOUNCE] Agda 2.6.1.3

Andrés Sicard-Ramírez asr at eafit.edu.co
Sun Feb 7 17:00:21 CET 2021


Dear all,

The Agda Team is very pleased to announce the release of Agda 2.6.1.3.

In this bug-fix release, we added support for GHC 8.10.3.

# GHC supported versions

Agda 2.6.1.3 has been tested with GHC 8.10.3, 8.8.4, 8.6.5, 8.4.4,
8.2.2 and 8.0.2 on Linux, macOS and Windows.

# Installation

You can install Agda 2.6.1.3 with Cabal or stack. See
https://agda.readthedocs.io/en/v2.6.1.3/getting-started/installation.html#installation-from-hackage

# Standard library

The standard library 1.5 is compatible with Agda 2.6.1.3.

Enjoy Agda 2.6.1.3.

--
Andrés, on behalf of the Agda Team


More information about the Agda mailing list