[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