[Agda] Agda 2.0.0

Ulf Norell ulfn at cs.chalmers.se
Mon Jun 4 16:19:42 CEST 2007


I just released Agda version 2.0.0. See the wiki for download instructions
and some very brief notes.

http://www.cs.chalmers.se/~ulfn/Agda

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20070604/b631718c/attachment.html


More information about the Agda mailing list