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.

Stable version

The stable version contains recent bug fixes that have not been released yet.

  git clone https://github.com/agda/agda.git
  cd agda
  git checkout stable-2.5

Development version

The development version contains new, unstable features. Installation is not recommended, except for the initiated.

Old releases

Old/outdated instructions

  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.