Release notes for Agda 2 version 2.2.2

Important changes since 2.2.0:


  • The --malonzodir option has been renamed to --malonzo-dir.
  • The output of agda --html is by default placed in a directory called “html”.


  • The Emacs mode is included in the Agda Cabal package, and installed by cabal install. The recommended way to enable the Emacs mode is to include the following code in .emacs:
    (load-file (let ((coding-system-for-read ‘utf-8))
                    (shell-command-to-string “agda-mode locate”)))