[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