denotational-arithmetic
denotational-arithmetic copied to clipboard
Puzzle: arithmetic via denotational design