Homework 7: Type Inference

First submission: Sunday, November 19th, at 11:59 PM

Second submission: Tuesday, November 28th, at 11:59 PM

Problems

The problems for this homework can be found here. Download the file hw7-base.ml, rename it to hw7.ml, and fill in the code with your answers to the problems.