Applicative Order Reduction in the Lambda Calculus
Enter the λ-expression you want to reduce below:
((^p.^q.((p q) ^x.^y.y) ^x.^y.x) ^x.^y.y)