Trying to parse: λx.λy.x x
Tokens: [Lambda, 'x', Dot, Lambda, 'y', Dot, 'x', Space, 'x']
| Step | Op | State | Tokens |
|---|---|---|---|
| 1 | Start | [] |
[Lambda, 'x', Dot, Lambda, 'y', Dot, 'x', Space, 'x'] |
| 2 | Shift | [Lambda] |
['x', Dot, Lambda, 'y', Dot, 'x', Space, 'x'] |
| 3 | Reduce | [Lambda] |
['x', Dot, Lambda, 'y', Dot, 'x', Space, 'x'] |
| 4 | Shift | [Lambda, 'x'] |
[Dot, Lambda, 'y', Dot, 'x', Space, 'x'] |