I am trying to learn how to reduce functions in $\lambda$ calculus and I came across this task:
Reduce this expression using normal strategy and applicative strategy.
$(\lambda x.\lambda y.x)(\lambda x.x)((\lambda x.x x)(\lambda x.x x))$
I tried to do it but I am not sure whether my result is correct (nor what strategy I used). Can somebody check my result and perhaps show me a step by step reduction if I am wrong? Thanks very much.
EDIT: I deleted my approach since it was faulted... not to confuse anyone :-)