projects

Lambda Calculus Calculator

A user friendly lambda calculus interpreter.

A user friendly lambda calculus interpreter, which can be used to teach lambda calculus right from the beginning.

The Lambda Calculus Calculator is publicly available under lambdacalc.io.