fix(purescript): comment out utf-8 char

This commit is contained in:
Phạm Huy Hoàng 2024-02-28 23:27:42 +09:00 committed by Christian Clason
parent 31d0648055
commit 15d521c923
2 changed files with 7 additions and 7 deletions

View file

@ -519,7 +519,7 @@
"revision": "3641b9e854ac9c84c7576e71c4c9a357bcfd9550" "revision": "3641b9e854ac9c84c7576e71c4c9a357bcfd9550"
}, },
"purescript": { "purescript": {
"revision": "2517b1ee2236353af761edbd22570f740f1603f1" "revision": "daf9b3e2be18b0b2996a1281f7783e0d041d8b80"
}, },
"pymanifest": { "pymanifest": {
"revision": "69ad424b5dd41088206bd74ebcdd61d987b7825c" "revision": "69ad424b5dd41088206bd74ebcdd61d987b7825c"

View file

@ -58,15 +58,15 @@
"=" "="
"|" "|"
"::" "::"
"∷" ; "∷"
"=>" "=>"
"⇒" ; "⇒"
"<=" "<="
"⇐" ; "⇐"
"->" "->"
"→" ; "→"
"<-" "<-"
"←" ; "←"
"\\" "\\"
"`" "`"
"@" "@"
@ -102,7 +102,7 @@
"do" "do"
"ado" "ado"
"forall" "forall"
"∀" ; "∀" ; utf-8 is not cross-platform safe
"infix" "infix"
"infixl" "infixl"
"infixr" "infixr"