Skip to content

Commit ce1f0ee

Browse files
committed
Update README.md
1 parent 2a0c211 commit ce1f0ee

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

README.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
# tree-sitter-quint
1+
# [WIP] tree-sitter-quint
22

3-
Work in progress Tree Sitter grammar for [Quint](https://quint-lang.org/).
4-
Mainly to get editor support in [Helix](https://helix-editor.com/).
3+
Tree Sitter grammar for [Quint](https://quint-lang.org/).
4+
Mainly with the goal to get editor support into [Helix](https://helix-editor.com/).
55

66
To avoid tracking build artifacts in Git,
77
the generated parser is not included on the `master` branch.
@@ -30,3 +30,4 @@ source = { git = "https://github.com/gruhn/tree-sitter-quint.git", rev = "releas
3030
args = ["--stdio"]
3131
command = "quint-language-server"
3232
```
33+
Also: download [helix-highlights.scm](https://github.com/gruhn/tree-sitter-quint/blob/release/queries/helix-highlights.scm) into your `<config-dir>/helix/runtime/queries/quint/highlights.scm`.

0 commit comments

Comments
 (0)