Lambda Calculator is an engine for the lambda calculus invented by Church. It allows the user to enter a lambda expression and see the sequence of reductions taken by the engine to reduce the expression to normal form. The program allows a variety of customization options, including choices between the pure calculus and a simple applied calculus and between eager and lazy evaluation. It is a useful tool for learning and experimenting with the lambda calculus.

Topics:

Introduction
Language
Menus
Command line parameters
File format
About this program