A visualization of a Lambda Calculus program.