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
Source
Latest release
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
- 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.
- Updating Agda after having installed it from source.