Download

Libraries

Note that the standard library is not bundled with all packages described below, and that other libraries are also available.

Prebuilt packages and system-specific installation instructions

• Windows
• Mac OS X
• Linux (several distributions)
• FreeBSD

Source

Latest release

• Version 2.2.6 (release notes, installation instructions).

You can also get Agda from Hackage. There are two packages, Agda which contains the library and the Emacs interface, and Agda-executable which contains the batch-mode command. If you encounter a problem with your installation, have a look at the installation instructions.

Development version

You can download the development version of Agda using darcs (version 2 or later) with the following command:

  darcs get --lazy http://code.haskell.org/Agda

See the README file in the distribution for installation instructions.

It is also possible to browse the files directly on the web.

Old releases

• Version 2.2.4 (release notes, installation instructions).
• Version 2.2.2 (release notes).
• Version 2.2.0 (release notes).
• Version 2.1.2 (release notes).
• Version 2.1.0 (release notes).
• Version 2.0.1 (Bug fix release).
• Version 2.0.0 (release notes).

Help to install Agda from source

1. Anton Setzer’s Installation of Agda under Linux from source for Nonprogrammers (see as well http://www.cs.swan.ac.uk/~csetzer/othersoftware/agda2/agda2installation.html) written for students at Swansea University.
2. Updating Agda after having installed it from source.