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 /runtime/queries/purescript | |
parent | 1c88432efc3724f60b27d580b8b490040a3048f6 (diff) |
Add Unicode support to PureScript's highlight queries (#8338)
Diffstat (limited to 'runtime/queries/purescript')
-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 @@ "=" "|" "::" + "∷" "=>" + "⇒" "->" + "→" "<-" + "←" "\\" "`" "@" |