Libraries
Note that the standard library is not bundled with all packages described below, and that other libraries are also available.
Source
Latest release
- 2023-01-30: Version 2.6.3 (release notes, installation instructions, GHC 8.0.2-9.4.4).
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
Old releases
- 2022-08-15: Version 2.6.2.2 Revision 2 (release notes, installation instructions, GHC 8.0-9.4).
- 2022-04-02: Version 2.6.2.2 (release notes, installation instructions, GHC 8.0-9.2).
- 2021-12-08: Version 2.6.2.1 (release notes, installation instructions, GHC 8.0-9.2).
- 2021-06-19: Version 2.6.2 (release notes, installation instructions, GHC 8.0-9.0).
- 2021-02-07: Version 2.6.1.3 (release notes, installation instructions, GHC 8.0-8.10).
- 2021-02-03: Version 2.6.1.2 (release notes, installation instructions, GHC 8.0-8.10).
- 2020-09-08: Version 2.6.1.1 (release notes, installation instructions, GHC 8.0-8.10).
- 2020-03-16: Version 2.6.1 (release notes, installation instructions, GHC 8.0-8.8).
- 2019-05-17: Version 2.6.0.1 (release notes, installation instructions, GHC 7.10-8.6).
- 2019-04-12: Version 2.6.0 (release notes, installation instructions, GHC 7.10-8.6).
- 2018-10-29: Version 2.5.4.2 (release notes, installation instructions, GHC 7.10-8.4).
- 2018-07-19: Version 2.5.4.1 (release notes, installation instructions, GHC 7.10-8.4).
- 2018-06-02: Version 2.5.4 (release notes, installation instructions, GHC 7.10-8.4).
- 2017-09-08: Version 2.5.3 (release notes, installation instructions, GHC 7.8-8.2).
- 2016-12-22: Version 2.5.2 (release notes, installation instructions, GHC 7.6-8.0).
- 2016-11-25: Version 2.5.1.2 (release notes, installation instructions, GHC 7.6-8.0).
- 2016-06-21: Version 2.5.1.1 (release notes, installation instructions, GHC 7.6-7.10).
- 2016-04-16: Version 2.5.1 (release notes, installation instructions, GHC 7.6-7.10).
- 2015-12-18: Version 2.4.2.5 (release notes, installation instructions, GHC 7.6-7.10).
- 2015-09-26: Version 2.4.2.4 (release notes, installation instructions, GHC 7.6-7.10).
- 2015-05-25: Version 2.4.2.3 (release notes, installation instructions, GHC 7.4-7.10).
- 2014-11-26: Version 2.4.2.2 (release notes, installation instructions, GHC 7.0-7.8).
- 2014-11-14: Version 2.4.2.1 (release notes, installation instructions, GHC 7.0-7.8).
- 2014-08-29: Version 2.4.2 (release notes, installation instructions, GHC 7.0-7.8).
- 2014-07-29: Version 2.4.0.2 (release notes, installation instructions, GHC 7.0-7.8).
- 2014-06-20: Version 2.4.0.1 (release notes, installation instructions, GHC 7.0-7.8).
- 2014-06-05: Version 2.4.0 (release notes, installation instructions, GHC 7.0-7.8).
- 2013-10-30: Version 2.3.2.2 (release notes, installation instructions).
- 2013-06-10: Version 2.3.2.1 (release notes, installation instructions).
- 2012-11-12: Version 2.3.2 (release notes, installation instructions).
- 2011-11-23: Version 2.3.0.1 (release notes, installation instructions).
- 2011-02-20: Version 2.2.10 (release notes, installation instructions).
- 2010-09-27: Version 2.2.8 (release notes, installation instructions).
- 2009-12-23: Version 2.2.6 (release notes, installation instructions).
- 2009-07-09: Version 2.2.4 (release notes, installation instructions).
- 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.
Page last modified on January 30, 2023, at 12:15 PM
Powered by
PmWiki