lumis_wasm_lean

Self-contained Lumis language package for lean.

The Tree-sitter parser is compiled to WASM and ships with the queries that highlight it.

Built with tree-sitter build --wasm v0.26.11

Lumis loads only the parsers a project depends on, so this dependency is what lets it highlight lean.

Installation

def deps do
  [
    {:lumis, "~> 0.10"},
    {:lumis_wasm_lean, "~> 0.26.0"}
  ]
end

What it contains

priv/parsers/ holds the parser and the manifest that describes it. The manifest records the parser's size, its SHA-256 and the queries.

Lumis reads both from there, so nothing is downloaded at runtime. mix release carries them like any dependency's assets.

The application has no code. It starts nothing and supervises nothing.

Parser

License

The Lumis packaging is MIT. The parser itself is redistributed from the upstream project above; see that project for its license.