[Agda] [ANNOUNCE] Agda 2.6.0.1

Andres Sicard Ramirez asr at eafit.edu.co
Sat May 18 01:51:22 CEST 2019


Dear all,

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

In this bug-fix release, we fixed a regression in Agda 2.5.4.2 related
to mutual and abstract blocks, and a regression in Agda 2.5.4 related
to `AgdaAny`. See the details of these regressions and other issues
fixed in

    http://hackage.haskell.org/package/Agda-2.6.0.1/changelog

* GHC supported versions

Agda 2.6.0.1 has been tested with GHC 8.6.5, 8.4.4, 8.2.2, 8.0.2 and
7.10.3 on Linux, macOS and Windows.

Note that this version of Agda cannot be installed on Windows using
GHC 8.6.3 due to a GHC bug.

* Installation

    cabal update && cabal install Agda

* Standard library

The standard library 1.0.1 is compatible with Agda 2.6.0.1.

Enjoy Agda 2.6.0.1.

-- 
Andrés on behalf of the Agda Team


More information about the Agda mailing list