Introduction to Agda


Agda Installation Guide

1. Windows

  1. Open PowerShell as Administrator
  2. Run the following command:
    Set-ExecutionPolicy Bypass -Scope Process -Force; [System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; iex ((New-Object System.Net.WebClient).DownloadString('')) ; choco install cabal ghc emacs
  3. Restart Powershell as Administrator
  4. Run the following command:
    cabal update ; cabal install alex happy Agda ; agda-mode setup
  5. Install VSCode
  6. Install two extensions: agda-mode and language-agda.

2. Linux

First, install GHCUp in your Linux distribution, following the steps from the official guide. Maybe the PATH environment variable needs to be updated. Then, run the following commands in a terminal:

ghcup install Agda
agda-mode setup