It ends in the Church encoding of 2.
Can you guess what is this? (click on the big image to see it better)
As you see, you may ask:
- what kind of evaluation strategy is this?
- are there reduction steps and self-multiplication steps?
- is this in lambda calculus?
- what can we learn from this particular example?