<div dir="ltr">I forgot to mention this last week, but as usual there is a release<div>of the standard library to go with the Agda release. You can find</div><div>it on GitHub here: <a href="https://github.com/agda/agda-stdlib/releases">https://github.com/agda/agda-stdlib/releases</a>.</div>

<div><br></div><div>/ Ulf</div></div>