[Agda] The standard library has moved to github

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Fri Jan 17 14:49:33 CET 2014


On 17 January 2014 04:46, Ulf Norell <ulf.norell at gmail.com> wrote:

> As a first step in our migration to git we have moved the standard library
> to github:
>
> https://github.com/agda/agda-stdlib
>

Great!


-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140117/45f05acb/attachment.html


More information about the Agda mailing list