[Agda] The wiki has moved

Ulf Norell ulfn at chalmers.se
Tue Jan 13 16:04:14 CET 2009


The wiki has moved to a new and improved location:

http://wiki.portal.chalmers.se/agda/

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


More information about the Agda mailing list