Awesome

Untyped lambda calculus

Summary

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.

Testing

Run yarn && yarn test to see a number of expressions and their beta reduction.