@hackage agda-language-server0.2.6.3.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

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

Package Flags

agda-2-6-2-2

(off by default)

Embed Agda-2.6.2.2 (rather than 2.6.3)

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