[Agda] Feedback on upcoming version of the standard library

[Matthew Daggitt]

Dear all,
 Version 0.15 of the Agda standard library will be released next Monday.
The release candidate can be found on the master branch
<https://github.com/agda/agda-stdlib> of the Github repository, and the
changes are detailed in the CHANGELOG
<https://github.com/agda/agda-stdlib/blob/master/CHANGELOG.md>. No further
major changes are envisaged between now and release. If any potential early
adopters would like to try it out, we would welcome any feedback between
now and Monday.
--
Matthew, on behalf of the Agda team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180306/5aeb0c8e/attachment.html>