October 18
For next time, please read sections 2.3.1 and 2.3.2.
It might be useful to revisit the definition of substitution on page 44. We jumped ahead to talk about β-reduction, which is on page 50.
For next time, please read sections 2.3.1 and 2.3.2.
It might be useful to revisit the definition of substitution on page 44. We jumped ahead to talk about β-reduction, which is on page 50.