15-312 Foundations of Programming Languages
Assignment 6: Bi-Directional Typechecking
NOTE: we have added a new rule your you guys to implement which will make the last part much easier,
this is the lettype construct, which works like let, but allows you to assign the variable a type.
Questions? Send mail or
post to the bboard.