package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Base : sig ... end
module Core : sig ... end

Core LSP protocoal and language types

module Doc : sig ... end
module Io : sig ... end

JSON-RPC input/output

module JCoq : sig ... end
module JFleche : sig ... end

This module contains the OCaml specification of Flèche's / coq-lsp extensions to LSP

module JLang : sig ... end
module Workspace : sig ... end
OCaml

Innovation. Community. Security.