package coq-lsp

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.1.5.8.16.tbz
sha256=5a0819d6ceb18cf031ece2c466eefd27f018d85c1c7472038bbb7c2663714b6e
sha512=be97b25db922014681dce75a68566b887f692c60208b698f03ce8b2fc0c1a2eab5c0c563d698eeb1d21dea5405468e958e67cce9a6c94a3106529f1b4ebfce13

doc/coq-lsp.fleche/Fleche/Memo/index.html

Module Fleche.MemoSource

Sourcemodule Stats : sig ... end

Interpret a command, possibly memoizing it

Sourceval interp_admitted : st:Coq.State.t -> (Coq.State.t, Loc.t) Coq.Protect.E.t
Sourceval mem_stats : unit -> int

Stats

Sourcemodule CacheStats : sig ... end
Sourceval load_from_disk : file:string -> unit

Not working yet

Sourceval save_to_disk : file:string -> unit
Sourceval input_info : (Coq.Ast.t * Coq.State.t) -> string

debug

OCaml

Innovation. Community. Security.