[Agda] Agda 2.3.0.1

Ulf Norell ulfn at chalmers.se
Mon Mar 12 12:46:41 CET 2012


I've just uploaded Agda-2.3.0.1 to Hackage. It is the same as Agda-2.3.0
but compatible with ghc-7.4.1.

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


More information about the Agda mailing list