[Agda] [ANNOUNCE] Agda Standard Library 1.4 release candidate 1

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the first release candidate of
version 1.4 of the standard library. The release candidate has been
tested using Agda 2.6.1.

The new version of the library can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v1.4-rc1.zip>. Please
report 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.4 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/20200831/1f22b73c/attachment.html>