A calculator for Lambda calculus