coq-lsp 0.1.4+v8.16

Libraries

This package provides the following libraries (via dune):

coq-lsp.coq

Documentation:

• Coq.Ast
• Coq.Goals
• Coq.Init
• Coq.Interp
• Coq.Loader
• Coq.Message
• Coq.Parsing
• Coq.Print
• Coq.Protect
• Coq.State
• Coq.Workspace

Dependencies: coq-core.vernac, coq-core.stm, coq-serapi.serlib, camlp-streams

coq-lsp.fleche

Documentation:

• Fleche.Config
• Fleche.Coq_utils
• Fleche.Debug
• Fleche.Doc
• Fleche.Info
• Fleche.Io
• Fleche.Memo
• Fleche.Progress
• Fleche.Stats
• Fleche.Types
• Fleche.Utf8

Dependencies: coq-lsp.coq, camlp-streams

coq-lsp.lsp

Documentation:

• Lsp.Base
• Lsp.Io JSON-RPC input/output
• Lsp.JCoq
• Lsp.JFleche

Dependencies: coq-lsp.fleche, yojson, threads, ppx_deriving.runtime, ppx_deriving_yojson.runtime