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]
Versions [faq] | 0.0.3.0 |
---|---|
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 | NixOS:0.0.3.0 |
Executables | als |
Downloads | 29 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] |
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)