package coq-lsp

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (32)

Authors

E

Emilio Jesús Gallego Arias <e@x80.org>
A

Ali Caglayan <alizter@gmail.com>
S

Shachar Itzhaky <shachari@cs.technion.ac.il>
R

Ramkumar Ramachandra <r@artagnon.com>

Maintainers

E

e@x80.org

Sources

coq-lsp-0.1.7.8.16.tbz

sha256=6a88fdb3e42994204f5d2cbc8f4e7da2ac7cf28568a93c8455464c05d1087022

sha512=38c417cc28a3a0d5eb4305ee5239a0cda6ba425d7f22a17f8d3ec7b9baf27598f57fd9d5ee9a44584a3730b6105128f774abeaf2eb560cfc8bb612aa95fcc0b7

doc/coq-lsp.lang/Lang/Point/index.html

Module `Lang.Point`Source

Sourcetype t = {

line : int;
character : int;
offset : int;

}

ATTENTION: character is a Unicode caracter position, thus from Coq that usually requires conversion, as it will report the column offset in bytes. But offset is in bytes for now, as our downstream clients prefer this format.

Sourceval pp : Format.formatter -> t -> unit