Agda.Utils.Char
decDigit
hexDigit
octDigit
Unicode exploration
data
UnicodeTest
unicodeTests
testChar