<div dir="ltr">As a first step in our migration to git we have moved the standard library to github:<div><br></div><div><a href="https://github.com/agda/agda-stdlib">https://github.com/agda/agda-stdlib</a><br></div><div><br>
</div><div>This move should make it a lot easier for people to contribute to the library. I'd be happy</div><div>to grant commit rights if someone wants to work on improving/extending the library.</div><div><br></div>
<div>This also means that the library has its own issue tracker, so please send library issues</div><div>to github rather than to google code. I'll work on migrating the existing issues.</div><div><br></div><div>/ Ulf<br>
</div></div>