def date.text

emerging-eztoml@0.9.0.0 · main.bend:597

import Base

597# a date
598def date.text(dd: Date) -> String:
599  Date{y, mo, day} = dd
600  text.pad4(y) ++ "-" ++ text.pad2(mo) ++ "-" ++ text.pad2(day)