<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 <span class="gmail-il">announce</span> the first release candidate for version 1.7 of the standard library. The release candidate has been tested using the first release candidate of Agda 2.6.2. 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,sans-serif">New module for making system calls during type checking, Reflection.External, which re-exports Agda.Builtin.Reflection.External.</span></li><li><span style="font-family:arial,sans-serif">New predicate for lists that are</span><font face="arial, sans-serif"> enumerations of their type in</font><span style="font-family:arial,sans-serif"> Data.List.Relation.Unary.Enumerates.</span></li><li><span style="font-family:arial,sans-serif">New weak induction schemes in Data.Fin.Induction that allows one to avoid the complicated use of Acc/inject/raise when proving inductive properties over finite sets.</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.7-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 release the official version 1.7 soon after the release of Agda 2.6.2.</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>