Compiler with Hindley-Milner type-inference written in Standard ML. Project for COMP 105 - Programming Languages. - View it on GitHub