Agda Language Server
Installation
The simplest way of acquiring Agda Language Server is through agda-mode on VS Code. Follow the instructions and the language server should be installed within seconds.
Prebuilt binaries
You can also download prebuilt binaries from the release page if you are using other LSP-compatible text editors.
Supported platforms: Windows, Mac, and Ubuntu.
Build from source
You will need Haskell Stack to build the project:
stack install
Why make it standalone?
- for less impact on the Agda codebase
- to help decouple the Agda codebase
- we can always merge it back to Agda later anyway