Upstream is June 7th: A virtual event for app developers, OSS maintainers, and the people who care about OSS.
agda-language-server
Language Server Protocol for Agda
To be developed alongside agda-mode-vscode
Can I try it now?
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)
| 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
