Overview
In this assignment you will implement a type inference pass for MinHS. The language used in this assignment differs from the language of the : it has a polymorphic type system, and it has aggregate data structures.
All other details regarding this assignment is enclosed? within the attached zip file.
## Deliverables
Details of the assignment in depth are within the attached file.