lemma-lsp 0.9.2

Language Server Protocol server for Lemma specifications
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Lemma LSP: library for native (stdio) and WASM (browser streams) builds.

pub mod diagnostics;
pub mod registry;
pub mod semantic_tokens;
pub mod server;
pub mod workspace;

#[cfg(target_arch = "wasm32")]
pub mod browser;

#[cfg(not(target_arch = "wasm32"))]
pub mod stdio;