Lambda Calculus Calculator

Introduction:
Lambda calculus is the mathematical basis for functional programming and often used to introduce it. There are currently a few lambda calculus interpreters
available, but it was felt that all of them suffer from an unintuitive user experience, an unappealing user interface and require too much effort to understand.

The purpose of the term project "Lambda Calculus Calculator" was to write a user friendly lambda calculus interpreter, which can be used to teach lambda calculus
right from the beginning.

Result:
The outcome of the study project is a single page web application written in the functional programming language elm. The focus of the application lies on the derivation of lambda terms, which can either be reduced manually or by selecting a strategy.

Lambda Calculus Calculator supports three different reduction methods:
ß-reductions, d-reductions and d-reduction for numerals, as well as two different resolution strategies: outermost first and innermost first.
The project will be released at www.lambdacalc.io to the open source community under a MIT license so that anyone can contribute to it and other universities are able to incorporate the application into their classes and adapt it to their needs.

Check out the result at https://lambdacalc.io