Proofs - Functional Programming MT22
Fold fusion
Prove the fold fusion theorem:
If $\text{f}$ is strict, $\text{b = f a}$ and $\text{f (g x y) = h x (f y)}$ then $\text{f . fold g a = fold h b}$.
If $\text{f}$ is strict, $\text{b = f a}$ and $\text{f (g x y) = h x (f y)}$ then $\text{f . fold g a = fold h b}$.
Todo?