[Agda] The standard library has moved to github

[Ulf Norell]

As a first step in our migration to git we have moved the standard library
to github:

https://github.com/agda/agda-stdlib

This move should make it a lot easier for people to contribute to the
library. I'd be happy
to grant commit rights if someone wants to work on improving/extending the
library.

This also means that the library has its own issue tracker, so please send
library issues
to github rather than to google code. I'll work on migrating the existing
issues.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140117/97807fa7/attachment.html