<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>