[Agda] New release soon

Nils Anders Danielsson nad at chalmers.se
Tue Sep 20 09:57:00 CEST 2011


Hi,

We plan to release a new version of Agda soon. If there are any major
problems with the current development version, please let us know as
soon as possible.

Note that Agda no longer builds using GHC 6.12. If this is a problem for
you, please let us know.

-- 
/NAD


More information about the Agda mailing list