@@ -9,7 +9,7 @@ import Builtins
99
1010%access public export
1111
12−||| Convert the number to its ASCII equivalent.
12+||| Convert the number to its Unicode equivalent.
1313chr : Int -> Char
1414chr x = if (x >= 0 && x < 0x110000)
1515 then assert_total (prim__intToChar x)
@@ -18,7 +18,7 @@ chr x = if (x >= 0 && x < 0x110000)
1818Cast Int Char where
1919 cast = chr
2020
21−||| Return the ASCII representation of the character.
21+||| Return the Unicode representation of the character.
2222ord : Char -> Int
2323ord x = prim__charToInt x
2424