<div dir="ltr">Dear all,<br><br>The Agda Team is pleased to announce the <span class="gmail-il">release</span> of version 2.1.1 of the Agda standard library. The <span class="gmail-il">release</span> has been tested using Agda 2.7.0 and can be downloaded <a href="https://github.com/agda/agda-stdlib/releases/tag/v2.1.1" target="_blank">here</a>. <br><br><div>This is a compatibility release with Agda v2.7.0 and so the changes are minimal. See the <a href="https://github.com/agda/agda-stdlib/blob/v2.1.1/CHANGELOG.md" target="_blank">CHANGELOG</a> for details.</div><div><br></div>Best wishes,<br><br>Matthew, on behalf of the Agda Team</div>