Princeton University
COS 510: Programming Languages

Homework 10

Fill in the proofs in Stlc.v and StlcProp.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.

Optionally, do some or all of MoreStlc (this is worth some points but, as befits an optional assignment, not as many as the required parts).

Upload your assignment at right.