Kinda like (2/2)+(3/3) but way more complicated
You must log in or register to comment.
\tan(\pi/4) + 1/42 \int_{-7\ln 6}^\infty \exp(-x/7) \dd{x}(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)
Kinda like (2/2)+(3/3) but way more complicated
\tan(\pi/4) + 1/42 \int_{-7\ln 6}^\infty \exp(-x/7) \dd{x}
(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)
