Archived tweet #8799 from the @leastfixedpoint Twitter Archive

Just had a great chat with @TePohi about teaching grade-school arithmetic using, basically, Church numerals ("do") and the notion of "undo"