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

[Matthew Daggitt]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210113/2c751982/attachment.html>