Update lambda.sml