package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

sha256=c68fcee8101b40a1706c74ce2ca0386311aebb79ec1a96032fb51bc8b981314f

sha512=720ca5ba4f265d942232e8c2a85bd475f03bf7a592e1b9d6dfbd8c68689275ef2224b82310578bf430ad6b192ba5430ab11a62ef2524e3859c157a9680ac391b

This modules reifies Coq side effects into an algebraic structure.

This is obviously very convenient for upper layer programming.

As of today this includes feedback and exceptions.

Sourcetype 'l payload = 'l option * Pp.t

Sourcetype 'l t = private