[Agda] Announce: Agda 2.3.2

Andreas Abel andreas.abel at ifi.lmu.de
Tue Nov 13 01:00:40 CET 2012


I am pleased to announce the source release of Agda 2.3.2!

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download

If you have a recent Haskell Platform installed, you can get it with

   cabal update
   cabal install Agda
   agda-mode setup
   agda-mode compile

(The last step is optional.)

Highlights from the release-notes:


http://wiki.portal.chalmers.se/agda/uploads/Main.Download/release-notes-2-3-2.txt

* A new backend that produces highlighted LaTeX from a literate agda file.

* Improved Emacs interaction mode:
   - No longer depends on GHCi.
   - Syntax highlighting is updated while buffer is type-checked.
   - You can case split on several variables simultaneously.

* Syntax extensions:
   - Pattern synonyms.
   - Qualified mixfix operators.
   - Sections and instantiated module imports.

* Enhancements of the type checker:
   - Improved coverage checking.
   - Improved constraint solving and instance search.

Enjoy,
Andreas (for the Agda team)

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/



More information about the Agda mailing list