How to convert a unicode codepoint (`Int` ) to a `...
# multiplatform
d
How to convert a unicode codepoint (
Int
) to a
String
?
r
Naively,
int.toChar().toString()
. But I'm sure there's unicode edge-cases that misses (eg code points larger that 0xffff)
d
I'm specifically looking for a solution for large codepoints.