Kuba@programming.dev to math@lemmy.world · 1 year agoWhat are some complicated ways to write 1+1?message-squaremessage-square3fedilinkarrow-up14arrow-down12file-text
arrow-up12arrow-down1message-squareWhat are some complicated ways to write 1+1?Kuba@programming.dev to math@lemmy.world · 1 year agomessage-square3fedilinkfile-text
minus-squarepancake@lemmygrad.mllinkfedilinkarrow-up0arrow-down1·1 year ago(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)
(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)