agda-language-server |
<1.7
|
dhall-lsp-server |
>=1.2.0.0 && <1.5
|
futhark
|
>=2.2.0.0
|
ghcide
|
>=2.7 && <2.8
|
haskell-language-server |
>=2.7 && <2.8
|
hls-alternate-number-format-plugin |
>=2.3.0.0 && <2.4
|
hls-cabal-plugin |
>=2.3 && <2.4
|
hls-call-hierarchy-plugin |
>=2.3
|
hls-change-type-signature-plugin |
>=0
|
hls-class-plugin |
>=0
|
hls-code-range-plugin |
>=0
|
hls-eval-plugin |
>=0
|
hls-explicit-fixity-plugin |
>=2.3
|
hls-explicit-imports-plugin
|
>=0
|
hls-explicit-record-fields-plugin |
>=0
|
hls-fourmolu-plugin |
>=0
|
hls-gadt-plugin |
>=2.3
|
hls-hlint-plugin |
>=0
|
hls-module-name-plugin |
>=0
|
hls-ormolu-plugin |
>=0
|
hls-overloaded-record-dot-plugin |
>=0
|
hls-plugin-api
|
^>=2.7
|
hls-pragmas-plugin |
>=0
|
hls-qualify-imported-names-plugin |
>=0
|
hls-refactor-plugin
|
>=0
|
hls-refine-imports-plugin |
>=0
|
hls-rename-plugin |
>=0
|
hls-retrie-plugin |
>=0
|
hls-selection-range-plugin |
>=0
|
hls-semantic-tokens-plugin |
>=2.3
|
hls-splice-plugin |
>=0
|
hls-tactics-plugin |
>=0
|
hls-test-utils
|
>=0
|
inferno-lsp |
>=1.6.0 && <1.7
|
lsp-client |
^>=2.7
|
lsp-test
|
>=2.7 && <2.8
|
static-ls |
>=2.3 && <2.4
|
swarm |
>=2.4 && <2.7
|