package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

VSCoq language server

Install

Dune Dependency

github.com Readme Edit opam file Versions (10)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vscoq-language-server-2.2.1.tar.gz

md5=06737aa7d96bbf42f89db3c86ef3e4dd

sha512=5118f26e5b687bc918de3409870464702f3fafc0c775ad5fac4835fc7954df66beaf83bc3a413476176160773215aae1d292816c49dc192c94566bba0fbe5a5b

Description

LSP based language server for Coq and its VSCoq user interface

Published: 23 Sep 2024

README

VSCoq Language Server

This is a language server for Coq speaking LSP with a few additional messages which are VSCoq specific (e.g. declaring a point of interest, printing goals).

SEL is a simple event library used to handle I/O
DM is a document manager for Coq with support for delegation via SEL
vscoqtop is a Coq toplevel speaking LSP based on DM and SEL

Dependencies (16)

sel >= "0.4.0"
lsp >= "1.15" & < "1.19"
result >= "1.5"
ppx_optcomp
ppx_import
ppx_yojson_conv
sexplib
ppx_deriving
ppx_sexp_conv
ppx_assert
ppx_inline_test
ocamlfind
jsonrpc >= "1.15"
yojson
dune >= "3.5"
ocaml >= "4.14"

Dev Dependencies (2)

coq-stdlib ((>= "8.18" & < "8.21") | (= "dev"))
coq-core ((>= "8.18" & < "8.21") | (= "dev"))

Used by

None

Conflicts

None

On This Page

Description
Readme
Dependencies (16)
Dev Dependencies (2)
Used by
Conflicts