2018-03-06 14:08:07 UTC
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