diff options
| author | postsolar | 2023-09-20 22:26:40 +0000 |
|---|---|---|
| committer | GitHub | 2023-09-20 22:26:40 +0000 |
| commit | 651fd1ca7296bce719049e15cc1337fd72d1c918 (patch) | |
| tree | c02cbceb10f6a9fe83f2614b1523745b8b0be5fd | |
| parent | 1c88432efc3724f60b27d580b8b490040a3048f6 (diff) | |
Add Unicode support to PureScript's highlight queries (#8338)
| -rw-r--r-- | runtime/queries/purescript/highlights.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/runtime/queries/purescript/highlights.scm b/runtime/queries/purescript/highlights.scm index bbfdf16e..86deb48f 100644 --- a/runtime/queries/purescript/highlights.scm +++ b/runtime/queries/purescript/highlights.scm @@ -56,9 +56,13 @@ "=" "|" "::" + "∷" "=>" + "⇒" "->" + "→" "<-" + "←" "\\" "`" "@" |