Kuba@programming.dev to math@lemmy.world · 1 year agoWhat are some complicated ways to write 1+1?message-squaremessage-square12fedilinkarrow-up115arrow-down13file-text
arrow-up112arrow-down1message-squareWhat are some complicated ways to write 1+1?Kuba@programming.dev to math@lemmy.world · 1 year agomessage-square12fedilinkfile-text
minus-squarepancake@lemmygrad.mllinkfedilinkarrow-up2arrow-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)