<div dir="ltr">Agda 2.4.2 has been released.<div><br></div><div>Download with cabal install Agda-2.4.2 (might need cabal update first) or go to</div><div><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download</a>.<br>
</div><div><br></div><div>Highlights:</div><div><br></div><div>- Recursive instance search.</div><div><br></div><div> Instance arguments are much faster than before and now work</div><div> like a proper class system.</div>
<div><br></div><div>- Major improvements to reflection</div><div><br></div><div> - Quoting and unquoting of declarations and pattern matching lambdas.</div><div><br></div><div> - New syntax to simplify using reflection:</div>
<div> tactic f</div><div> is sugar for</div><div> quoteGoal g in unquote (f g)</div><div><br></div><div>More details here: <a href="https://github.com/agda/agda/blob/2.4.2/doc/release-notes/2-4-2.txt">https://github.com/agda/agda/blob/2.4.2/doc/release-notes/2-4-2.txt</a></div>
<div><br></div><div>/ Ulf</div></div>