title: I need some help on the steps to do eager evaluation on a Lambda calculus expression?
body: <p>I'm confused on how to trace the eager evaluation steps of the this Lambda Calculus expression. I'm not sure what the steps are.</p>
  <p>(λu.(u λg.λh.h) ((λx.λy.λf.((f x) y) a) b))</p>