Homework 8

Due: Monday, 10/31

Part 1: Types.v

Complete the following exercises:

In each file you submit, please let me know which exercises you completed in that file, and with whom you discussed the problems (if anyone).

Submit through Blackboard before 3:05pm on Monday, 10/31.

Part 2: Final Project Checkpoint #1