Dependencies for agda-language-server-0.2.2.6.2
Libraries
agda-language-server
- aeson
- Agda (==2.6.2.2)
- base (>=4.7 && <5)
- bytestring
- containers
- lsp (<1.5)
- mtl
- network
- network-simple
- process
- stm
- strict
- text
Executables
als
- aeson
- Agda (==2.6.2.2)
- agda-language-server
- base (>=4.7 && <5)
- bytestring
- containers
- lsp (<1.5)
- mtl
- network
- network-simple
- process
- stm
- strict
- text