[Agda] The wiki has moved

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

Previous message: [Agda] The Agda wiki has disappeared
Next message: [Agda] Tentative guidelines for working with coinductive types
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [Agda] The Agda wiki has disappeared
Next message: [Agda] Tentative guidelines for working with coinductive types
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list