Tree-sitter Bend (biocini)
A Tree-sitter grammar and syntax-highlighting queries for Bend 2. The repository includes a generated C parser, language bindings, and Neovim setup instructions for highlighting Bend definitions, dependent types and proof constructs.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/biocini/tree-sitter-bend ↗GitHubhttps://github.com/biocini/tree-sitter-bend/blob/master/README.md ↗GitHubhttps://github.com/biocini/tree-sitter-bend/blob/master/grammar.js ↗