yaml-for-bend@0.1.1.0 · num.bend:91
import yaml-for-bend@0.1.1.0/num.bend as Num
import Base 91def zeros(n: Nat) -> String: 92 String.repeat("0", n)