package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.3.v8.16.tbz
sha256=d6d589ae18453d9251b4250df50e59cfc87254de0e4734e13c5bca06ab14cee5
sha512=802b4673c7f581976526a3cb4bd824f7574c5b1cc8fcc7759fcd3358cdc3e4cebef3ec908899ad68129190777ccda931dfc1643b45db156ede15acae0382c148
doc/coq-lsp.coq/Coq/Workspace/CmdLine/index.html
Module Workspace.CmdLineSource
Source
type t = {coqlib : string;vo_load_path : Loadpath.vo_path list;ml_include_path : string list;
}