Agda
Agda support.
How to install
With Forge Super installed, the button above opens the app on this extension, where you press Install. Nothing is installed until you do.
You can also open the Extensions panel in the app and search for Agda. The extension's id is agda.
Don't have Forge Super yet? Download it here.
README
From the extension's repository, written by its authors and not by Mentenaz. See the source.
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"
}
}
}