Skip to main content

Module lsp

oak_lean

Module lsp 

Source
Expand description

LSP module.

§Lean Lsp

This module provides lean lsp functionality for the Oaks project.

Modules§

highlighter
Lean LSP Highlighter

Structs§

LeanLanguageService