agda-language-server

Please see the README on GitHub at https://github.com/banacorn/agda-language-server#readme


Keywords
library, mit, program, Propose Tags , agda-mode-vscode, agda-mode, v0.0.1.0, v0.0.2.0, decouple the Agda codebase, agda, language-server-protocol
License
MIT
Install
cabal install agda-language-server-0.0.3.0

Documentation

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

截圖 2021-03-03 下午6 53 11

Current features

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

截圖 2021-03-03 下午6 59 43

Why make it standalone?