package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.5.1.8.16.tbz
sha256=bd1d61581eed552aef1b2a37442684a9f96240f1faaf695330c33391a8742a4a
sha512=44566902af1ef750d901527b4b9f5ef9872cfed88a935fe94a78e5a07692855949fed5d71e6709a19f5bf619cf3640391f393fdfeaa98834e72c35106af460c3
doc/src/coq-lsp.fleche/fleche.ml.html
Source file fleche.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 Fleche.Config *) module Config = Fleche__Config (** @canonical Fleche.Contents *) module Contents = Fleche__Contents (** @canonical Fleche.Debug *) module Debug = Fleche__Debug (** @canonical Fleche.Doc *) module Doc = Fleche__Doc (** @canonical Fleche.Info *) module Info = Fleche__Info (** @canonical Fleche.Io *) module Io = Fleche__Io (** @canonical Fleche.Memo *) module Memo = Fleche__Memo (** @canonical Fleche.Progress *) module Progress = Fleche__Progress (** @canonical Fleche.Stats *) module Stats = Fleche__Stats