<div dir="ltr">Dear all,<br><div><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">The Agda Team is pleased to announce the first <span class="gmail-il">release</span> <span class="gmail-il">candidate</span> for version 1.5 of the standard library. The <span class="gmail-il">release</span> <span class="gmail-il">candidate</span> has been tested using Agda 2.6.1 and Agda 2.6.1.1. This release includes many new features, the highlights of which are:
</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><ul><li><span style="font-family:arial,helvetica,sans-serif">Regular expressions which work over both arbitrary types and Strings.</span></li><li><span style="font-family:arial,helvetica,sans-serif">Instance declarations for IsDecEquivalence and IsDecTotalOrder over various data types.</span></li><li><span style="font-family:arial,helvetica,sans-serif">Bindings for Haskell's System.Environment and System.Exit.</span></li></ul></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><pre style="white-space:pre-wrap"><font face="arial, helvetica, sans-serif">The release candidate can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v1.5-rc1.zip" target="_blank">here</a>. We would be grateful for reports of any issues you may encounter with the new version of the library on the <a href="https://github.com/agda/agda-stdlib/issues" target="_blank">Github issues page</a>.</font></pre><pre style="white-space:pre-wrap"><font face="arial, sans-serif">If no major issues are found we will aim to <span class="gmail-il">release</span> the official version 1.5 in the next couple of weeks.</font></pre><pre style="white-space:pre-wrap"><pre style="white-space:pre-wrap"><font face="arial, sans-serif">Best wishes,</font></pre><pre style="white-space:pre-wrap"><font face="arial, sans-serif">Matthew, on behalf of the Agda Team</font></pre></pre></pre></div></div>