[Agda] Release: Agda 2.4.0
Ulf Norell
ulfn at chalmers.se
Thu Jun 5 12:57:01 CEST 2014
Agda 2.4.0 has finally been released!
To install:
cabal update
cabal install Agda
Check it out on Hackage
https://hackage.haskell.org/package/Agda
Find out what's new here
https://hackage.haskell.org/package/Agda-2.4.0/changelog
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140605/b6f91dde/attachment.html
More information about the Agda
mailing list