| Machine Problem 5 (MP5) |
MP5 will have you complete a type inferencer for a simple type system.
Note:
A grader will be posted shortly. In the mean time, you can test
your code in OCaml by typing in #use "mp5common.ml" before you load
in your code in "mp5.ml".
|
|
|