COS 510: Programming Languages
Homework 8
Do the exercises in
Smallstep.v
and
Types.v
.
Do the README as usual.
Upload your assignment here.
