[Agda] Agda 2.4.2

Ulf Norell ulfn at chalmers.se
Fri Aug 29 10:24:26 CEST 2014


Agda 2.4.2 has been released.

Download with cabal install Agda-2.4.2 (might need cabal update first) or
go to
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download.

Highlights:

- Recursive instance search.

  Instance arguments are much faster than before and now work
  like a proper class system.

- Major improvements to reflection

  - Quoting and unquoting of declarations and pattern matching lambdas.

  - New syntax to simplify using reflection:
      tactic f
    is sugar for
      quoteGoal g in unquote (f g)

More details here:
https://github.com/agda/agda/blob/2.4.2/doc/release-notes/2-4-2.txt

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140829/60067f2b/attachment.html


More information about the Agda mailing list