A small interpretter for the simply typed lambda calculus, with type inference - View it on GitHub