Matthew Daggitt
2018-08-17 16:19:48 UTC
Dear all,
The Agda Team is (not so!) pleased to announce the release of the standard
library 0.16.1. The library has been tested using Agda 2.5.4.1.
Most people will not need to update to this release. The only change is a
that a small bug that's encountered when trying to compile
`Data.Stream` has been fixed (see issue
<https://github.com/agda/agda-stdlib/issues/417>).
The Agda Team is (not so!) pleased to announce the release of the standard
library 0.16.1. The library has been tested using Agda 2.5.4.1.
Most people will not need to update to this release. The only change is a
that a small bug that's encountered when trying to compile
`Data.Stream` has been fixed (see issue
<https://github.com/agda/agda-stdlib/issues/417>).
--
Matthew, on behalf of the Agda Team
Matthew, on behalf of the Agda Team