[Agda] ANNOUNCE: Agda 2.4.2.2

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Nov 26 16:07:04 CET 2014


Hi,

Agda 2.4.2.2 has been released.

This is a bug-fix release fixing compilation on Windows and others issues.

The standard library 0.9 type-checks with this version of Agda.

Download 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.1:
https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG .

-- 
Andrés, on behalf of the Agda team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141126/53c20558/attachment.html


More information about the Agda mailing list