Lambda Calculus Online

>Type a lambda expression on the left. Output will appear here. Lambda expressions may contain constants listed below. Constants may be defined with Const = Expression
This is version 1.3