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