[Agda] ANNOUNCE: Agda 2.4.2.1
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sat Nov 15 01:21:27 CET 2014
Hi,
Agda 2.4.2.1 has been released.
Download with
cabal update && cabal install Agda
or go to http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download.
Important changes since Agda 2.4.2:
https://github.com/agda/agda/blob/2.4.2.1/CHANGELOG.
--
Andrés, on behalf of the Agda team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141114/764caa2e/attachment.html
More information about the Agda
mailing list