<div dir="ltr">Dear all,<div> Version 0.15 of the Agda standard library will be released next Monday. The release candidate can be found on the <a href="https://github.com/agda/agda-stdlib">master branch</a> of the Github repository, and the changes are detailed in the <a href="https://github.com/agda/agda-stdlib/blob/master/CHANGELOG.md">CHANGELOG</a><span id="goog_567262545"></span><a href="/"></a><span id="goog_567262546"></span>. No further major changes are envisaged between now and release. If any potential early adopters would like to try it out, we would welcome any feedback between now and Monday.</div><div>--<br></div><div><span style="font-family:arial,helvetica,sans-serif;color:rgb(0,0,0);white-space:pre-wrap">Matthew, on behalf of the Agda team</span></div></div>