def digit.char

yaml-for-bend@0.1.1.0 · num.bend:27

import Base

27def digit.char(n: Nat) -> Char:
28  Chr{U32.add(48, U32.from_nat(n))}