Add Unicode support to PureScript's highlight queries (#8338)

pull/8349/head
postsolar 2023-09-21 01:26:40 +03:00 committed by GitHub
parent 1c88432efc
commit 651fd1ca72
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -56,9 +56,13 @@
"=" "="
"|" "|"
"::" "::"
"∷"
"=>" "=>"
"⇒"
"->" "->"
"→"
"<-" "<-"
"←"
"\\" "\\"
"`" "`"
"@" "@"