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


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.

Maintenance version

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

  git clone
  cd agda
  git checkout maint-2.4.2

Development version

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

Old releases

Help with installing Agda from source

  1. Anton Setzer’s Installation of Agda under Linux from source for Nonprogrammers (see as well written for students at Swansea University.
  2. Updating Agda after having installed it from source.