coq-lsp 0.1.0

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.Protect
• Coq.State

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

coq-lsp.fleche

Documentation:

• Fleche.Config
• Fleche.Debug
• Fleche.Doc
• Fleche.Info
• Fleche.Io
• Fleche.Memo
• Fleche.Stats
• Fleche.Types

Dependencies: coq-lsp.coq, camlp-streams

coq-lsp.lsp

Documentation:

• Lsp.Base
• Lsp.Io

Dependencies: coq-lsp.fleche, yojson, threads