[Agda] The wiki is back up

Ulf Norell ulfn at cs.chalmers.se
Tue Mar 18 09:04:48 CET 2008


The wiki has been down for a couple of days, but it's now up and running
again.

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


More information about the Agda mailing list