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
You can also get Agda from Hackage. If you encounter a problem with your installation, have a look at the installation instructions. Brief instructions for Linux are also available.
Development version (Agda has moved to GitHub)
- Git repository. README.
- You can get the development version as follows:
git clone https://github.com/agda/agda.git
Help with installing Agda from source
- 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.