lemma 0.8.20

A language that means business.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! Registry for the Language Server.
//!
//! Uses the engine's LemmaBase on both native and WASM: registry/spec links (`url_for_id`)
//! and resolution (`get`) work in the browser via fetch.

pub use lemma::Registry;

/// Construct the Registry used by the LSP (LemmaBase on both native and WASM).
pub fn make_registry() -> Box<dyn Registry> {
    Box::new(lemma::LemmaBase::new())
}