diff options
Diffstat (limited to 'queries/purescript')
| -rw-r--r-- | queries/purescript/highlights.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/queries/purescript/highlights.scm b/queries/purescript/highlights.scm index c14ded077..ae9e930ca 100644 --- a/queries/purescript/highlights.scm +++ b/queries/purescript/highlights.scm @@ -58,15 +58,15 @@ "=" "|" "::" - ; "∷" + "∷" "=>" - ; "⇒" + "⇒" "<=" - ; "⇐" + "⇐" "->" - ; "→" + "→" "<-" - ; "←" + "←" "\\" "`" "@" @@ -102,7 +102,7 @@ "do" "ado" "forall" - ; "∀" ; utf-8 is not cross-platform safe + "∀" "infix" "infixl" "infixr" |