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

The preferred way of installing Agda is from Hackage using the command cabal install Agda. If you encounter a problem with your installation, have a look at the installation instructions. Brief instructions for Linux are also available.

Development version

  • Git repository. README.
  • You can get the development version as follows:
    git clone https://github.com/agda/agda.git

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.