A toy, simply-typed lambda calculus implementation.