def clock.date2

cswap-bend-cli@0.1.0.0 · usage/norm.bend:14

import Base

14def clock.date2(md: U32 & U32, +local: U32) -> String:
15  (m, d) = md
16  String.take(String.drop(months(), U32.to_nat((m * 3 - 3 : U32))), 3n) ++ " " ++ U32.show(d) ++ " " ++ hhmm(local)