<div dir="ltr">Dear all,<br><div><pre style="color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">The Agda Team is pleased to announce the first release candidate for version 2.0 of the Agda standard library. The release candidate has been tested using Agda 2.6.4 and can be</font><span style="font-family:arial,helvetica,sans-serif"> downloaded </span><a href="https://github.com/agda/agda-stdlib/archive/v2.0-rc2.zip" target="_blank" style="font-family:arial,helvetica,sans-serif">here</a><span style="font-family:arial,helvetica,sans-serif">. We would be grateful for reports of any issues you may encounter with the new version of the library on the </span><a href="https://github.com/agda/agda-stdlib/issues" target="_blank" style="font-family:arial,helvetica,sans-serif">Github issues page</a><span style="font-family:arial,helvetica,sans-serif">. </span></pre><pre style="color:rgb(0,0,0)"><pre style="text-wrap: wrap;"><font face="arial, helvetica, sans-serif">The goal of this major version bump is to iron out many of the rough edges in the library that we have been unable to fix in a backwards compatible manner. Therefore code that worked with v1.7 of the library may not work with v2.0. Nonetheless we hope that once ported across, your code will be significantly cleaner and simpler than it was before! An exhaustive list of changes can be found in the <a href="https://github.com/agda/agda-stdlib/blob/v2.0-rc1/CHANGELOG.md" target="_blank">CHANGELOG</a> file.</font></pre><pre style="text-wrap: wrap;"><span style="font-family:arial,sans-serif">Given this is a major version bump, we plan to wait approximately a further two weeks before the full release in order to give people time to try it out. If no major issues are found we will aim to </span><span style="font-family:arial,sans-serif">release</span><span style="font-family:arial,sans-serif"> the official version of 2.0 in mid December.</span><br></pre></pre><pre style="color:rgb(0,0,0)"><pre style="text-wrap: wrap;"><pre style="text-wrap: wrap;"><font face="arial, sans-serif">Best wishes,</font></pre><pre style="text-wrap: wrap;"><font face="arial, sans-serif">Matthew, on behalf of the Agda Team</font></pre></pre></pre></div></div>