Simply Typed LC Grammar and Interpreter.
Type Parser
STLC parser
STLC Pretty printer and REPL w/o typechecking
STLC TypeChecker