package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.7.8.16.tbz
sha256=6a88fdb3e42994204f5d2cbc8f4e7da2ac7cf28568a93c8455464c05d1087022
sha512=38c417cc28a3a0d5eb4305ee5239a0cda6ba425d7f22a17f8d3ec7b9baf27598f57fd9d5ee9a44584a3730b6105128f774abeaf2eb560cfc8bb612aa95fcc0b7
doc/coq-lsp.coq/Coq/Workspace/CmdLine/index.html
Module Workspace.CmdLineSource
Source
type t = {coqlib : string;coqcorelib : string;ocamlpath : string option;vo_load_path : Loadpath.vo_path list;ml_include_path : string list;args : string list;
}