Tree-sitter-lean4 初探

为 Lean 4 实现一个 Tree-sitter