dolmen_lsp

A LSP server for automated deduction languages
Description
Install
Published
08 Jun 2022
Authors
Maintainers
Sources
dolmen-0.7.tbz
sha256=ff2889fa9d467d5b4d87ae4f819a64358715f457cc6226b455463c2fcd4ab2af sha512=d6ba56945aabcf0886e83fcf44c45f2f8afcf68e48d2f0b25f9cd8e60d18106fae3976fee49d3e291b2e0ab3266837ad5eff800dc51fe2b3aab15ad81ea58cbb
Dependencies
linol-lwt >= "0.4" & < "0.5"
linol >= "0.4" & < "0.5"
odoc with-doc
dune >= "2.7"
dolmen_loop = version
dolmen_type = version
dolmen = version
ocaml >= "4.02.3"
Reverse Dependencies