lambdaCalc.lhs