<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Congratulations with the release candidate, Matthew.<br>
Thanks a lot for all the hard work from you and the other
contributors towards this release.<br>
I can honestly say that the ever increasing quality of the Agda
standard library has been one of the joys during my PhD!<br>
<br>
I'll test it against my Agda developments.<br>
<br>
Cheers,<br>
<br>
Arjen<br>
</p>
<div class="moz-cite-prefix">On 1/13/21 3:40 AM, Matthew Daggitt
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAH9g8G=s6dr+f_5+8BKVzPm4YpoHB8t8OObnPT0Wz5RAxafjRQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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" moz-do-not-send="true">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" moz-do-not-send="true">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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
</blockquote>
</body>
</html>