@hackage agda-language-server0.2.0

An implementation of language server protocal (LSP) for Agda 2.

Categories
- Development
License
MIT
Maintainer
banacorn@gmail.com
Links
Versions
- 0.2.6.3.0 Thu, 23 Nov 2023
- 0.2.6.2.2.1 Tue, 21 Nov 2023
- 0.2.6.2.2 Tue, 21 Nov 2023
- 0.2.2.6.2 Tue, 21 Nov 2023
- 0.2.1 Mon, 20 Nov 2023
- 0.2.0 Fri, 22 Oct 2021

Installation
In your cabal file:
Dependencies (13)
- base >=4.7 && <5
- bytestring
- containers
- mtl
- process
- stm
Dependents (0)

Please see the README on GitHub at https://github.com/banacorn/agda-language-server#readme