A quick little lambda calculus interpreter for a presentation I gave in my advanced declarative programming class.