[Agda] [ANNOUNCE] Agda 2.4.2.4
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sat Sep 26 17:37:11 CEST 2015
Hi,
We would like to announce the release of Agda 2.4.2.4.
Installation
=======
$ cabal update && cabal install Agda
Important changes since Agda 2.4.2.3
=======================
http://hackage.haskell.org/package/Agda-2.4.2.4/changelog
Standard library
==========
For the time being, a version of the standard library compatible with
Agda 2.4.2.4 is available via (requires Git >= 1.7.10)
$ git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.4
--single-branch
or using previous versions of Git
$ git clone https://github.com/agda/agda-stdlib.git
$ cd agda-stdlib/
$ git checkout --track origin/2.4.2.4
All the best,
--
Andrés, on behalf of the Agda team
More information about the Agda
mailing list