[Agda] [ANNOUNCE] Agda 2.5.1
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sun Apr 17 01:54:45 CEST 2016
Dear all,
The Agda Team is very pleased to announce the release of Agda 2.5.1.
GHC supported versions
======================
Agda 2.5.1 has been tested with GHC 7.6.3, 7.8.4 and 7.10.3.
Installation
============
cabal update && cabal install Agda
Standard library
================
The version of Agda standard library compatible with Agda 2.5.1 is
available at
https://github.com/agda/agda-stdlib/releases/tag/v0.12
(The release of the Agda standard library 0.12 will be announced
later).
What is new?
============
In addition to the new features, changes, incompatibilities, fixed
issues and enhancements announced on the release candidates 1 and 2
http://thread.gmane.org/gmane.comp.lang.agda/8378
http://thread.gmane.org/gmane.comp.lang.agda/8529
the following issues were fixed:
* https://github.com/agda/agda/issues/1796
* https://github.com/agda/agda/issues/1821
More information about the changes included in Agda 2.5.1 can be found
in
http://hackage.haskell.org/package/Agda-2.5.1/changelog
Enjoy Agda 2.5.1.
--
Andrés, on behalf of the Agda Team
More information about the Agda
mailing list