Rewrite rules, reduction, and normal forms

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Infinite evaluations and error evaluations - clarification -- Keyboard shortcut: 'p'

Next page: Rewrite rules -- Keyboard shortcut: 'n'

Lecture notes - all slides together

Annotated slide -- Keyboard shortcut: 't'

Alphabetic index

Help page about these notes

Evaluation Order and Infinite Lists - slide 8 : 27

Rewrite rules, reduction, and normal forms