Language Server Protocol for Agda

To be developed alongside agda-mode-vscode

Yes.

However, this project 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)

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".

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

• for less impact on the Agda codebase
• to help decouple the Agda codebase
• we can always merge it back to Agda later anyway