You're viewing a single thread.
12 comments
(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)
12 comments
You're viewing a single thread.
(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)