[Agda] [ANNOUNCE] Standard library v1.5 - release candidate 1

[a.j.rouvoet]

Congratulations with the release candidate, Matthew.
Thanks a lot for all the hard work from you and the other contributors 
towards this release.
I can honestly say that the ever increasing quality of the Agda standard 
library has been one of the joys during my PhD!

I'll test it against my Agda developments.

Cheers,

Arjen

On 1/13/21 3:40 AM, Matthew Daggitt wrote:
> Dear all,
> The Agda Team is pleased to announce the first release candidate for 
> version 1.5 of the standard library. The release candidate 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:
>
>   * Regular expressions which work over both arbitrary types and Strings.
>   * Instance declarations for IsDecEquivalence and IsDecTotalOrder
>     over various data types.
>   * Bindings for Haskell's System.Environment and System.Exit.
> The release candidate can be downloaded here 
> <https://github.com/agda/agda-stdlib/archive/v1.5-rc1.zip>. We would 
> be grateful for reports of any issues you may encounter with the new 
> version of the library on the Github issues page 
> <https://github.com/agda/agda-stdlib/issues>.
> If no major issues are found we will aim to release the official 
> version 1.5 in the next couple of weeks.
> Best wishes,
> Matthew, on behalf of the Agda Team
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210114/8dc1a4f6/attachment.html>