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.