Homework 10
Due: Monday, 11/27
(same pic as last week)
Part 1: Properties of the Simply-Typed Lambda Calculus
Complete all exercises in StlcProp.v
up to but not including the Additional Exercises.
Submit through
Blackboard before 11:59pm on the due date.
Part 2: Final Projects
- Work on your final projects!