~/jendhub

def Nat.show

Base · base.bend:2293

import Base
2293def Nat.show(n: Nat) -> String:
2294  +m = n
2295  Nat.show.fin(m, SNil{}, Nat.show.put(Nat.divmod(m, 10n)))

Uses (5)

Used by (82)