[Agda] ANNOUNCE: Agda 2.4.2.3 release

Andrés Sicard-Ramírez asr at eafit.edu.co
Tue May 26 02:14:40 CEST 2015


Hi,

We would like to announce the release of Agda 2.4.2.3.

Install with

  $ cabal update && cabal install Agda

or got to

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download

Important changes since Agda 2.4.2.2:

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

For the time being, a version of the standard library compatible with
Agda 2.4.2.3 is available via (requires Git >= 1.7.10)

  $ git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.3
--single-branch

or using previous versions of Git

  $ git clone https://github.com/agda/agda-stdlib.git
  $ cd agda-stdlib/
  $ git checkout 2.4.2.3

All the best,

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


More information about the Agda mailing list