Minimal Lambda Calculus interpreter.