Rewrite rules, reduction, and normal forms

Stop show with sound -- Keyboard shortcut: 'x'

Next slide in show -- Keyboard shortcut: 'n'

35 seconds

The Order of Evaluation - slide 8 : 26

Rewrite rules, reduction, and normal forms