Beta reduction for the untyped lambda calculus. Untyped lambda calculus expressions consisting of:
- Variables
- Abstraction
- Application
go in, the same expression with all applications of a function to a value eliminated comes out.
Run yarn && yarn test to see a number of expressions and their beta reduction.