A LSP server for automated deduction languages
Install
Authors
Maintainers
Sources
dolmen-0.8.1.tbz
sha256=80fc33ae81817a79c6e6b2f6c01c4cfcc0af02bfe4d2d1b87cf70b84cdde3928
sha512=3a44a99bce871161bc70cf909c813e9e6c91c590873cbc163c69b2ec90ab5be65bf0bf45430bc8d00d85d75cf0af004b06b8f5f1c9d4d47c8a30ab9f28762c04
Description
Dependencies (10)
-
linol-lwt
>= "0.4" & < "0.5"
-
linol
>= "0.4" & < "0.5"
- lsp
- logs
- ocaml-syntax-shims
-
dune
>= "3.0"
-
dolmen_loop
= version
-
dolmen_type
= version
-
dolmen
= version
-
ocaml
>= "4.02.3"
Dev Dependencies (1)
-
odoc
with-doc
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page