<div dir="ltr"><p>Dear all,</p>
<p>The Agda Team is pleased to announce the release of
version 2.2 of the Agda standard library. The release has been
 tested using Agda 2.7.0 and 2.7.0.1 and can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v2.2.zip" rel="noopener noreferrer" title="https://github.com/agda/agda-stdlib/archive/v2.2-rc1.zip" target="_blank">here</a>. The CHANGELOG is available <a href="https://github.com/agda/agda-stdlib/blob/v2.2/CHANGELOG.md" rel="noopener noreferrer" title="https://github.com/agda/agda-stdlib/blob/v2.2-rc1/CHANGELOG.md" target="_blank">here</a>.<br></p>

<p>Best wishes,</p>
<p>Matthew, on behalf of the Agda Team</p></div>