Download

Libraries

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

Source

Latest releases

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.

Development version

The development version contains the latest features and bug fixes that have not been released yet.

  git clone https://github.com/agda/agda.git

Previous releases

(Stackage LTS is the last LTS containing the respective Agda version.)

Installation (old/outdated instructions)

Page last modified on February 24, 2024, at 10:13 am
Powered by PmWiki