package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.2.v8.16.tbz
sha256=31b83f0908bbabf4079806ce9271a30f7af8fb4e2fd5c81c1ccc3c1e8022f0de
sha512=de9f48cb643944620183243a55a225b33b3b77d2cc2ea26e38377622ea9036e7205634e880d804dd0ae69ce22d321ce4dfbacc94aebb402d1f124d5be348ebca
doc/src/coq-lsp.coq/coq.ml.html
Source file coq.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28(* generated by dune *) (** @canonical Coq.Ast *) module Ast = Coq__Ast (** @canonical Coq.Goals *) module Goals = Coq__Goals (** @canonical Coq.Init *) module Init = Coq__Init (** @canonical Coq.Interp *) module Interp = Coq__Interp (** @canonical Coq.Loader *) module Loader = Coq__Loader (** @canonical Coq.Message *) module Message = Coq__Message (** @canonical Coq.Protect *) module Protect = Coq__Protect (** @canonical Coq.State *) module State = Coq__State (** @canonical Coq.Workspace *) module Workspace = Coq__Workspace