# Proofs - Functional Programming MT22

> Source: https://ollybritton.com/notes/uni/prelims/mt22/functional-programming/proofs/ · Updated: 2023-01-12 · Tags: uni, notes, proofs

### 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}$.

::

Todo?

---
Olly Britton — https://ollybritton.com. Machine-readable index: https://ollybritton.com/llms.txt