<div dir="ltr"><span style="font-size:12.8px">Dear all,</span><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">The Agda Team is pleased to announce the first </span><span class="" style="font-size:12.8px">release</span><span style="font-size:12.8px"> </span><span class="" style="font-size:12.8px">candidate </span><span style="font-size:12.8px">of Agda 2.5.1.1 available at</span><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">  <a href="https://www.dropbox.com/s/vh55ll3tqg0h8k5/Agda-2.5.1.1-rc1.tar.gz?dl=1">https://www.dropbox.com/s/vh55ll3tqg0h8k5/Agda-2.5.1.1-rc1.tar.gz?dl=1</a></span><br style="font-size:12.8px"><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">GHC supported versions</span><br style="font-size:12.8px"><span style="font-size:12.8px">======================</span><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">The RC has been tested with GHC 7.6.3, 7.8.4, 7.10.3 and 8.0.1.</span><br style="font-size:12.8px"><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">Installation</span><br style="font-size:12.8px"><span style="font-size:12.8px">============</span><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">The RC can be installed as follows:</span><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">  $ tar xzf Agda-2.5.1.1-rc1.tar.gz</span><br style="font-size:12.8px"><span style="font-size:12.8px">  $ cd Agda-2.5.1.1</span><br style="font-size:12.8px"><span style="font-size:12.8px">  $ cabal install</span><br style="font-size:12.8px"><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">What is new?</span><br style="font-size:12.8px"><span style="font-size:12.8px">============</span><br><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">2.5.1.1 fixes a severe performance bug with instance arguments:</span></div><div><br></div><div><div>* <a href="https://github.com/agda/agda/issues/1952">https://github.com/agda/agda/issues/1952</a></div><div>* <a href="https://github.com/agda/agda/issues/1955">https://github.com/agda/agda/issues/1955</a></div><div>* <a href="https://github.com/agda/agda/issues/1998">https://github.com/agda/agda/issues/1998</a></div><div>* <a href="https://github.com/agda/agda/issues/2025">https://github.com/agda/agda/issues/2025</a></div><div><br></div><div>as well as the follwing minor issues:</div><div><br></div><div>* <a href="https://github.com/agda/agda/issues/1322">https://github.com/agda/agda/issues/1322</a> and</div><div>  <a href="https://github.com/agda/agda/issues/2034">https://github.com/agda/agda/issues/2034</a> (function type instance goals)</div><div>* <a href="https://github.com/agda/agda/issues/1950">https://github.com/agda/agda/issues/1950</a> (case split in with-function)</div><div>* <a href="https://github.com/agda/agda/issues/1951">https://github.com/agda/agda/issues/1951</a> (mixfix binders not working in &#39;syntax&#39;)</div><div>* <a href="https://github.com/agda/agda/issues/1967">https://github.com/agda/agda/issues/1967</a> (too eager insteance search error)</div><div>* <a href="https://github.com/agda/agda/issues/1974">https://github.com/agda/agda/issues/1974</a> (lost constraint dependencies)</div><div>* <a href="https://github.com/agda/agda/issues/1982">https://github.com/agda/agda/issues/1982</a> (internal error in unifier)</div><div><br></div></div><div>/ Ulf</div></div>