github? [Re: [Agda] Agda development]

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Thu Jan 9 14:37:28 CET 2014


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


More information about the Agda mailing list