agda-language-server

Language Server Protocol for Agda

To be developed alongside agda-mode-vscode

Can I try it now?

Yes.

However, this project is not available on Hackage for the moment. You will have to pull it from GitHub

git clone git@github.com:banacorn/agda-language-server.git

Checkout to a version that is compatible with your agda-mode on VS Code

git checkout v0.0.1.0

Here are the versions that work (on my machine)

Language Server	agda-mode
v0.0.1.0	v0.2.8
v0.0.2.0	v0.2.10

Build it with the package manager you hate the least.

I use Stack. But honestly, I couldn't care less.

stack install

Once you have als installed on your machine. Open VS Code and go to agda-mode's settings. Enable "Agda Mode: Agda Language Server".

Current features

More stuff are clickable in the panel after loading (C-c C-l)

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