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. If you encounter a problem with your installation, have a look at the installation instructions. Brief instructions for Linux are also available.

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

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.