The latest version of agda-language-server is 0.2.6.3.0-0.
lib:agda-language-server
Modules
- Agda
- Agda.Convert
- Agda.IR
- Agda.Misc
- Agda.Parser
- Agda.Position
- Control.Concurrent.SizedChan
- 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
Dependencies
- Agda lib:Agda >=0
- aeson lib:aeson >=0
- base lib:base >=4.7 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- lsp lib:lsp >=0
- mtl lib:mtl >=0
- network lib:network >=0
- network-simple lib:network-simple >=0
- process lib:process >=0
- stm lib:stm >=0
- strict lib:strict >=0
- text lib:text >=0
Reverse dependencies
Direct only. Not exhaustive.
- agda-language-server exe:als
- agda-language-server test:als-test