Agda — ZedExt

Zed Agda

An Agda extension for Zed. Credits to:

Tree-sitter: tree-sitter-agda
Language Server: Agda Language Server

Installation

This extension requires both the Agda compiler and the Agda Language Server (ALS) to be installed on your system. First, ensure you have the Agda Standard Library and the Language Server installed. I recommend using stack to ensure compatibility with your system's GHC version.

git clone https://github.com/agda/agda-language-server.git
cd agda-language-server
stack install

Configuration

By default, the extension looks for als in your system PATH. If you want to use a specific binary, you can configure it in your Zed settings.json:

"lsp": {
  "als": {
    "binary": {
      "path": "/path/to/your/als"
    }
  }
}