Princeton University
COS 441: Programming Languages

Homework 9

Fill in the proofs in Stlc.v, at each place marked "Exercise".

Add a README comment at the top describing who you helped (or got help from), and what kind of help.

Upload your assignment at right.