<div dir="ltr"><pre style="white-space:pre-wrap;color:rgb(0,0,0)">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.
</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">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` 
<span style="font-family:Arial,Helvetica,sans-serif">has been fixed </span>(see <a href="https://github.com/agda/agda-stdlib/issues/417" style="font-family:Arial,Helvetica,sans-serif">issue</a><span style="font-family:Arial,Helvetica,sans-serif">)</span>.</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">-- <br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">Matthew, on behalf of the Agda Team</pre></div>