Kuba@programming.dev to math@lemmy.world · 1 year agoWhat are some complicated ways to write 1+1?message-squaremessage-square9fedilinkarrow-up114arrow-down13file-text
arrow-up111arrow-down1message-squareWhat are some complicated ways to write 1+1?Kuba@programming.dev to math@lemmy.world · 1 year agomessage-square9fedilinkfile-text
minus-squarepancakelinkfedilinkarrow-up2·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)