# Beta reduction

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