Language Server Protocol for Agda
To be developed alongside agda-mode-vscode
Can I try it now?
However, this project not available on Hackage for the moment. You will have to pull it from GitHub
git clone firstname.lastname@example.org: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.
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)
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