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

• 2012–11–12: Version 2.3.2 (release notes, installation instructions).

You can also get Agda from Hackage. If you encounter a problem with your installation, have a look at the installation instructions. Brief instructions for Linux are also available.

WARNING: Make sure (e.g. using ghc-pkg list) that you do not have mtl-2.1 installed. If it is the case, install the latest mtl. mtl-2.1 contains a serious bug that makes Agda loop upon startup already, e.g. when you try agda —interactive.

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

• 2011–11–23: Version 2.3.0.1 (release notes, installation instructions).
• 2011–02–20: Version 2.2.10 (release notes, installation instructions).
• 2010–09–27: Version 2.2.8 (release notes, installation instructions).
• 2009–12–23: Version 2.2.6 (release notes, installation instructions).
• 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 with installing 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.