lemma 0.8.19

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

use tower_lsp::{LspService, Server};

/// Run the Lemma language server over stdio until the client disconnects.
pub fn run_stdio() -> std::io::Result<()> {
    tokio::runtime::Runtime::new()?.block_on(async {
        let stdin = tokio::io::stdin();
        let stdout = tokio::io::stdout();
        let registry = super::registry::make_registry();
        let (service, socket) =
            LspService::new(|client| super::server::LemmaLanguageServer::new(client, registry));
        Server::new(stdin, stdout, socket).serve(service).await;
    });
    Ok(())
}