Intermediate
Lambda Calculus Beta Reduction
Perform step-by-step evaluation of a complex lambda expression.
📝 Prompt Content
Given the lambda expression (λx. λy. x y) (λz. z) (λw. w w), perform a step-by-step beta reduction until the expression reaches its normal form. Explicitly state which bound variable is being substituted at each step.