Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda-language-server-0.2.2.6.2
library
aeson
Agda
(==2.6.2.2)
base
(>=4.7 && <5)
bytestring
containers
lsp
(<1.5)
mtl
network
network-simple
process
stm
strict
text
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