@[email protected] to math • 1 year agoWhat are some complicated ways to write 1+1?message-square12fedilinkarrow-up115arrow-down13file-text
arrow-up112arrow-down1message-squareWhat are some complicated ways to write 1+1?@[email protected] to math • 1 year agomessage-square12fedilinkfile-text
minus-square@[email protected]linkfedilink1•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)