From 651fd1ca7296bce719049e15cc1337fd72d1c918 Mon Sep 17 00:00:00 2001 From: postsolar Date: Thu, 21 Sep 2023 01:26:40 +0300 Subject: Add Unicode support to PureScript's highlight queries (#8338) --- runtime/queries/purescript/highlights.scm | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'runtime') 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 @@ "=" "|" "::" + "∷" "=>" + "⇒" "->" + "→" "<-" + "←" "\\" "`" "@" -- cgit v1.2.3-70-g09d2