A simple web app that evaluates expressions in Lambda Calculus, the smallest universal programming language introduced by Alonzo Church in the 1930s. It encompasses the following functionalities:
- Evaluating λ-expressions
- The 'λ' symbol can be inserted using the backslash '\' key
- Evaluations yield β- and η-reductions of the entered expression, as well as any α-equivalent terms present in the Formulæ list
- Formulas that can be used in λ-expressions
- The list of formulas can be found in the Formulæ section
- An assortment of relevant combinatory birds are already preloaded into the list
- Custom formulas can be added
- Conversion of λ-expressions to SKI-expressions, only containing the combinators S, K & I
The app can be found at freddycoppa.github.io/lambda-js