Matthew Daggitt
2018-10-20 16:42:31 UTC
Dear all,
The Agda Team is very pleased to announce the release of the standard
library 0.17. The library has been tested using Agda 2.5.4 and Agda 2.5.4.1.
The library, CHANGELOG and README are available at
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
Although we try our best to minimise non-compatible changes,
no guarantees are made about backwards or forwards
compatibility, as the library is still at an experimental stage.
As mentioned previously, the plan is to release the first official stable
version 1.0 alongside the next release of Agda.
Enjoy the standard library 0.17.
The Agda Team is very pleased to announce the release of the standard
library 0.17. The library has been tested using Agda 2.5.4 and Agda 2.5.4.1.
The library, CHANGELOG and README are available at
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
Although we try our best to minimise non-compatible changes,
no guarantees are made about backwards or forwards
compatibility, as the library is still at an experimental stage.
As mentioned previously, the plan is to release the first official stable
version 1.0 alongside the next release of Agda.
Enjoy the standard library 0.17.
--
Matthew, on behalf of the Agda Team
Matthew, on behalf of the Agda Team