[Agda] The standard library has moved to github

[Andrés Sicard-Ramírez]

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