reducer
`reducer` is a small JavaScript program that beta-reduces untyped Lambda Calculus expressions. It's my first project in JavaScript.
Known issues: does not yet play well with the predecessor function for Church numerals ("((\n . \f . \x .n (\g . \h . h (g f)) (\u . x) (\u . u))) (\f . \x . f x)"). |