On 9 January 2014 03:04, Ulf Norell <ulf.norell at gmail.com> wrote: > We decided to switch over to git and host Agda on github. Great news! -- Andrés -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20140109/33e726ec/attachment.html