[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