Interpreter for a programming language that explores type systems. Based off of Pierce's Types and Programming Langueages.