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