Install Agda from the Latest Source

We will go through these steps on 1/23, but for the impatient, here are some hints.

You may also see the detailed instructions.

Step 1: Set up git and GitHub

You need to set up your GitHub account (and git) to upload lecture notes. It is recommended to download the source through git.

If you are using Windows, it is highly recommend to upgrade your Windows to Windows 10 and use its Linux subsystem. It is not wise to struggle with random Windows misfeatures.

Step 2: Download the Source

Run these to download the source. The cool argument --depth 1 will speed up the downloading significantly (but give you a shallow clone).

git clone --depth 1
cd agda

Step 3: Install Your Favorite Editor

If unsure, choose Emacs. The Emacs support is currently the best. However, some people (like me) are already used to other editors.

Step 4: Install Agda

There are three main ways to do this:

The New Cabal Way

You need a newer Cabal (version >= 2.4) for this. Please follow the detailed instructions.

The Legacy Cabal Way

Follow the steps to install the prerequisites, and then the steps to install Agda.

The Stack Way

Follow the steps to install Stack.

Depending on the version of GHC you want, run

stack install --stack-yaml stack-<GHC version>.yaml

For example, if you want to compile Agda using GHC 8.4.4, do

stack install --stack-yaml stack-8.4.4.yaml

Agda only supports a few GHC versions. You can run ls stack-*.yaml to see all the supported versions.

After agda and agda-mode are installed, follow the steps to install Agda (but skip the steps involving cabal).

Step 5: Set up Agda Integration

If you are using Emacs and followed all the instructions on the screen, the integration should have already be done. If you are using other editors, the support varies. Please contact Favonia if you need advice.

This page was made with GitHub-like CSS (licensed under MIT and modified by favonia).