done | next |

- What you will learn
- Text Substitutions
- Rhyme Schemes
- When are two rhyme schemes the same?
- Back to text substitutions
- The cubic formula macros.
- An example of a reduction rule.
- How would you reduce macros with parameters?
- Lambda calculus is about ANONYMOUS functions.
- Equivalent up to renaming of bound variables
- Reducing lambda terms
- Homework

change style |