agda-language-server: LSP server for Agda
Please see the README on GitHub at https://github.com/banacorn/agda-language-server#readme
[Skip to Readme]
Modules
- Agda
- Agda.Convert
- Agda.IR
- Agda.Misc
- Agda.Parser
- Agda.Position
- Control
- Concurrent
- Control.Concurrent.SizedChan
- Concurrent
- Monad
- Render
- Render.Class
- Render.Common
- Render.Concrete
- Render.Interaction
- Render.Internal
- Render.Literal
- Render.Name
- Render.Position
- Render.RichText
- Render.TypeChecking
- Render.Utils
- Server
- Server.CommandController
- Server.ResponseController
- Switchboard
Downloads
- agda-language-server-0.0.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.0.3.0, 0.2.0, 0.2.1, 0.2.2.6.2, 0.2.6.2.2, 0.2.6.2.2.1, 0.2.6.3.0 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | aeson, Agda, agda-language-server, base (>=4.7 && <5), bytestring, containers, lsp, mtl, network, network-simple, process, stm, strict, text [details] |
| License | MIT |
| Copyright | 2020 Ting-gan LUA |
| Author | Ting-gan LUA |
| Maintainer | banacorn@gmail.com |
| Category | Development |
| Home page | https://github.com/banacorn/agda-language-server#readme |
| Bug tracker | https://github.com/banacorn/agda-language-server/issues |
| Source repo | head: git clone https://github.com/banacorn/agda-language-server |
| Uploaded | by banacorn at 2021-04-06T04:40:52Z |
| Distributions | |
| Executables | als |
| Downloads | 579 total (29 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2021-04-06 [all 3 reports] |
Readme for agda-language-server-0.0.3.0
[back to package description]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