<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.6 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.3. This <span class="gmail-il">release</span> includes many new features, the highlights of which are:
</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><ul><li><font face="arial, sans-serif">The first verified implementation of a sorting algorithm (available from Data.List.Sort).</font></li><li><font face="arial, sans-serif">Pseudo-random generators for ℕ (available from Data.Nat.Pseudorandom.LCG)</font></li><li><font face="arial, sans-serif">Large increase in the number of proofs about both normalised and unnormalised rational numbers.</font></li><li><font face="arial, sans-serif">Reorganised module dependency graph of the IO module so that a hello world program may be compiled without pulling in upwards of 130 modules.</font></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 <span class="gmail-il">release</span> <span class="gmail-il">candidate</span> can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v1.6-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.6 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>