# Beta reduction

<https://en.wikipedia.org/wiki/Lambda\\_calculus>
