[Agda] Agda 2.4.0.1

Ulf Norell ulfn at chalmers.se
Fri Jun 20 23:05:43 CEST 2014


As some of you might have noticed I uploaded 2.4.0.1 to Hackage last
week. It mainly fixes a few bugs and adds some things that should
have gone in 2.4.0.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140620/4c61fa94/attachment.html


More information about the Agda mailing list