Roll your own [Lambda Calculus]


You can try your own exercises here. Type in, or edit, in the lower panel then select and press 'Start from selection'. To show the starting formula for a reduction and the target formula, use the double headed arrow and put the start to the left and the target to the right.



If you prefer to have NOR and AOR reductions done for you, type, copy and paste, or drag expressions into the text panel below, make a selection, and press the button.