Homework 8

Due: Monday, 11/13

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 11:59pm on the due date.

Part 2: Final Project Checkpoint #1