Solution to the simply typed lambda calculus homework from Programming languages.  Spring 2010