master
feat(languages): Lean experimental tree-sitter-lean (#1422)
fix(highlights/lean): fix boolean highlighting