Homework 9

Due: Monday, 11/20

Part 1: Simply-Typed Lambda Calculus

Complete the following exercises in Stlc.v:

• Exercise: 3 stars, optional (substi)
• Exercise: 2 stars, optional (typing_example_2_full)
• Exercise: 2 stars, optional (typing_example_3)

Submit through Blackboard before 3:05pm on Monday, 11/7.

Part 2: Final Projects

• Work on your final projects!
• Before class on Monday, 11/7 have one person from your team send me an email with a few sentences on progress you've made this week, roadbloacks encountered, etc.