3 kyu

Loading Kata: Simply typed lambda calculus type checker