Add Unicode support to PureScript's highlight queries (#8338)
commit651fd1ca7296bce719049e15cc1337fd72d1c918
authorpostsolar <120750161+postsolar@users.noreply.github.com>
dateThu 21 Sep 2023, 01:26 (3 years ago)
parent1c88432
runtime/queries/purescript/highlights.scm+4
@@ -56,9 +56,13 @@
5656 "="
5757 "|"
5858 "::"
59+ "∷"
5960 "=>"
61+ "⇒"
6062 "->"
63+ "→"
6164 "<-"
65+ "←"
6266 "\\"
6367 "`"
6468 "@"