Download

Libraries

Note that the standard library is not bundled with all packages described below, and that other libraries are also available.

Source

Latest release

The preferred way of installing Agda is from Hackage (see instructions here). If you encounter a problem with your installation, have a look at the Getting Started.

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

Installation (old/outdated instructions)