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