package coq-lsp

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (38)

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>
  2. A
    Ali Caglayan <alizter@gmail.com>
  3. S
    Shachar Itzhaky <shachari@cs.technion.ac.il>
  4. R
    Ramkumar Ramachandra <r@artagnon.com>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.2.5+9.0.tbz
sha256=11ba9a2f5c25f55fdfe1c00072f89940e35bd1441c64e2adac388a1cda53c881
sha512=b13d76d054c47354032d3371db8ff8bc2fbc78e2509596733249ebca8a2f5ce94529fcdb76cce0a353ecea26f66a52cd2b51310dad9156be10de7fe2ee66f6ba

doc/coq-lsp.fleche/Fleche/Theory/Check/index.html

Module Theory.CheckSource

Sourceval maybe_check : io:Io.CallBack.t -> token:Coq.Limits.Token.t -> (IS.t * Doc.t) option

Check pending documents, return None if there is none pending, or Some rqs the list of requests ready to execute after the check. Sends progress and diagnostics notifications using output function ofn.

Sourceval set_scheduler_hint : uri:Lang.LUri.File.t -> point:(int * int) -> unit