:electric_plug: A Compiler and Type Inference System for a subset of Standard ML called Small. Programming Languages class project. :hammer_and_wrench: - View it on GitHub