Tree Sitter Rocq

This project provides a Tree-sitter parser for the Rocq Prover language, enabling syntax highlighting in modern text editors. It is specifically designed for editors like Helix that leverage Tree-sitter for fast, incremental parsing and highlighting.

Key Features

• Partial Grammar — Covers core Rocq syntax for effective highlighting while acknowledging limitations.
• Editor Integration — Enables syntax highlighting in Tree-sitter–compatible editors such as Helix.
• Explicit Limitations — Clearly documents that the grammar is incomplete due to Rocq's extensible syntax via the Notation command.

Philosophy

The grammar prioritizes practical usability for syntax highlighting over completeness, recognizing that Rocq's syntax can be dynamically extended, making a fully accurate static parser infeasible.