<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&#39;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&#39;ll work on migrating the existing issues.</div><div><br></div><div>/ Ulf<br>

</div></div>