Tree-sitter-lean 初探

为 Lean 4 实现一个 Tree-sitter