package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.1.9.8.17.tbz
sha256=a89d86ed8b19d09bf3a06acbed690ae2859a7343d9faa03537c76cd492371651
sha512=edae491b284d5ab586c82cea4003a5b477f41ab25a4659431d4bc8caaee39b62de03b64d088ab8c528416210f88f73d4dfe5efbd32b22c70b75c9d18999c1e00

doc/coq-lsp.lang/Lang/Diagnostic/Severity/index.html

Module Diagnostic.SeveritySource

Sourcetype t
Sourceval error : t
Sourceval warning : t
Sourceval information : t
Sourceval hint : t
Sourceval to_int : t -> int

Convert to LSP-like levels

OCaml

Innovation. Community. Security.