<div dir="ltr"><div>Hi,<br><br>Agda 2.4.2.2 has been released.<br><br>This is a bug-fix release fixing compilation on Windows and others issues.<br><br><div>The standard library 0.9 type-checks with this version of Agda.<br></div><br><div>Download with<br><br></div><div>  cabal update &amp;&amp; cabal install Agda</div><br></div>or got to <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download</a> .<br clear="all"><div><br>Important changes since Agda <a href="http://2.4.2.1">2.4.2.1</a>: <a href="https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG">https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG</a> .<br><br></div>-- <br><div>Andrés, on behalf of the Agda team</div></div>