Skip to content

gruhn/tree-sitter-quint

Repository files navigation

Tree Sitter Quint

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.

About

Tree Sitter grammar for Quint

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published