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

• 2024-09-12: Version 2.7.0.1 (release notes, installation, GHC 8.6.5-9.10.1).

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 repository. README. CHANGELOG.
• You can get the development version as follows:

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

Previous releases

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

• 2024-08-16: Version 2.7.0 (release notes, installation, GHC 8.6.5-9.10.1, Stackage Nightly 2024-09-12).
• 2024-03-06: Version 2.6.4.3 (release notes, installation, GHC 8.6-9.10, Stackage LTS 22.43).
• 2024-02-24: Version 2.6.4.2 (release notes, installation, GHC 8.6-9.8, Stackage LTS 22.12).
• 2023-11-30: Version 2.6.4.1 (release notes, installation, GHC 8.6-9.8, Stackage LTS 22.11).
• 2023-10-06: Version 2.6.4 (release notes, installation, GHC 8.6-9.8, Stackage LTS 21.22).
• 2023-10-13: Version 2.6.3 Revision 5 (release notes, installation, GHC 8.0-9.8).
• 2023-03-15: Version 2.6.3 Revision 1 (release notes, installation, GHC 8.0-9.6, Stackage LTS 21.14).
• 2023-01-30: Version 2.6.3 (release notes, installation, GHC 8.0-9.4).
• 2022-08-15: Version 2.6.2.2 Revision 2 (release notes, installation, GHC 8.0-9.4, Stackage LTS 20.26).
• 2022-04-02: Version 2.6.2.2 (release notes, installation, GHC 8.0-9.2).
• 2021-12-08: Version 2.6.2.1 (release notes, installation, GHC 8.0-9.2, Stackage LTS 18.28).
• 2021-06-19: Version 2.6.2 (release notes, installation, GHC 8.0-9.0, Stackage LTS 18.18).
• 2021-02-07: Version 2.6.1.3 (release notes, installation, GHC 8.0-8.10, Stackage LTS 18.0).
• 2021-02-03: Version 2.6.1.2 (release notes, installation, GHC 8.0-8.10).
• 2020-09-08: Version 2.6.1.1 (release notes, installation, GHC 8.0-8.10).
• 2020-03-16: Version 2.6.1 (release notes, installation, GHC 8.0-8.8).
• 2019-05-17: Version 2.6.0.1 (release notes, installation, GHC 7.10-8.6).
• 2019-04-12: Version 2.6.0 (release notes, installation, GHC 7.10-8.6).
• 2018-10-29: Version 2.5.4.2 (release notes, installation, GHC 7.10-8.4, Stackage LTS 12.26).
• 2018-07-19: Version 2.5.4.1 (release notes, installation, GHC 7.10-8.4, Stackage LTS 12.14).
• 2018-06-02: Version 2.5.4 (release notes, installation, GHC 7.10-8.4, Stackage LTS 12.1).
• 2017-09-08: Version 2.5.3 (release notes, installation, GHC 7.8-8.2, Stackage LTS 11.22).
• 2016-12-22: Version 2.5.2 (release notes, installation, GHC 7.6-8.0, Stackage LTS 9.3).
• 2016-11-25: Version 2.5.1.2 (release notes, installation, GHC 7.6-8.0).
• 2016-06-21: Version 2.5.1.1 (release notes, installation, GHC 7.6-7.10, Stackage LTS 7.24).
• 2016-04-16: Version 2.5.1 (release notes, installation, GHC 7.6-7.10, Stackage LTS 6.35).
• 2015-12-18: Version 2.4.2.5 (release notes, installation, GHC 7.6-7.10, Stackage LTS 5.18).
• 2015-09-26: Version 2.4.2.4 (release notes, installation, GHC 7.6-7.10, Stackage LTS 3.18).
• 2015-05-25: Version 2.4.2.3 (release notes, installation, GHC 7.4-7.10, Stackage LTS 3.6).
• 2014-11-26: Version 2.4.2.2 (release notes, installation, GHC 7.0-7.8).
• 2014-11-14: Version 2.4.2.1 (release notes, installation, GHC 7.0-7.8).
• 2014-08-29: Version 2.4.2 (release notes, installation, GHC 7.0-7.8).
• 2014-07-29: Version 2.4.0.2 (release notes, installation, GHC 7.0-7.8).
• 2014-06-20: Version 2.4.0.1 (release notes, installation, GHC 7.0-7.8).
• 2014-06-05: Version 2.4.0 (release notes, installation, GHC 7.0-7.8).
• 2013-10-30: Version 2.3.2.2 (release notes, installation).
• 2013-06-10: Version 2.3.2.1 (release notes, installation).
• 2012-11-12: Version 2.3.2 (release notes, installation).
• 2011-11-23: Version 2.3.0.1 (release notes, installation).
• 2011-02-20: Version 2.2.10 (release notes, installation).
• 2010-09-27: Version 2.2.8 (release notes, installation).
• 2009-12-23: Version 2.2.6 (release notes, installation).
• 2009-07-09: Version 2.2.4 (release notes, installation).
• 2009-04-16: Version 2.2.2 (release notes).
• 2009-03-17: Version 2.2.0 (release notes).
• Version 2.1.2 (release notes).
• Version 2.1.0 (release notes).
• Version 2.0.1 (Bug fix release).
• Version 2.0.0 (release notes).

Installation (old/outdated instructions)

• Windows
• Mac OS X
• Statically-linked executables for Linux
  Experimental executables (statically-linked, compiled for x86_64) are being continuously built by travis and uploaded to dropbox. Extracting the tarball and running deploy.sh (as root) should be enough to install an agda executable.
• 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.
• Updating Agda after having installed it from source.