[Agda] [ANNOUNCE] Standard library v1.5

[Matthew Daggitt]

Dear all,

The Agda Team is very pleased to announce the release of the standard
library 1.5. The library has been tested using Agda 2.6.1.1. and 2.6.1.

The new version of the library, CHANGELOG and README are available at

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary

Highlights include:


   - Regular expressions 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.

Best wishes,

Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210126/9df86a6a/attachment.html>