Expand description
LEAN grammar for tree-sitter
This crate provides the lean language grammar for use with tree-sitter.
Constants§
- HIGHLIGHTS_
QUERY - The highlights query for lean.
- INJECTIONS_
QUERY - The injections query for lean (empty - no injections available).
- LOCALS_
QUERY - The locals query for lean (empty - no locals available).
Functions§
- language
- Returns the lean tree-sitter language.