Characters
Leo characters.
In Leo, a character is (isomorphic to) a Unicode code point,
i.e. a number from 0 to 10FFFF (hexadecimal).
In the Unicode standard, not all code points represent valid characters,
called "Unicode scalar values" in the terminology of the standard.
However, in Leo all code points are considered valid Leo characters.
Subtopics
- Char
- Fixtype of Leo characters.
- Char-result
- Fixtype of errors and Leo characters.
- Char-list-result
- Fixtype of errors and lists of Leo characters.
- Char-list
- Fixtype of lists of Leo characters.
