Agda.Utils.Char

decDigit

hexDigit

octDigit

Unicode exploration

data UnicodeTest

unicodeTests

testChar