Lambda Calculus Interpreter
Enter the λ-expression you want to reduce below:
2*3
Reduction strategy:
Applicative Order
Normal Order