<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 release candidate of version 1.4 of the standard library. The release candidate has been tested using Agda 2.6.1.
</font></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 new version of the library can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v1.4-rc1.zip">here</a>. Please report any issues you may encounter with the new version of the library on the <a href="https://github.com/agda/agda-stdlib/issues">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 release the official version 1.4 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>