Update lambda_calculus/lambda_calculus.md