Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
A toy interpreted language demonstrating how surprisingly easy it is to implement type inference. ERP stands for Enterprise Resource Planning (the assignment was to design a type system for a database query language). See the report for details.