Feedback on upcoming version of the standard library
(too old to reply)
Matthew Daggitt
2018-03-06 14:08:07 UTC
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