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