Data.Digit.Hexadecimal

data Hex : Type

L : Dec -> Hex

A : Hex

B : Hex

C : Hex

D : Hex

E : Hex

F : Hex

toChar : Hex -> Char

toNat : Hex -> Nat