Crate lemma_lsp 

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

Modules

diagnostics

registry

Registry for the Language Server.

semantic_tokens

server

stdio

workspace