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

Loading...