Tree Sitter grammar for Quint. Mainly with the goal to get editor support into Helix.
To avoid cluttering the repository with build artifacts,
the generated parser is not included on the master branch.
Check the release branch instead.
Tree Sitter grammar for Quint. Mainly with the goal to get editor support into Helix.
To avoid cluttering the repository with build artifacts,
the generated parser is not included on the master branch.
Check the release branch instead.