add lecture notes 10 - Lambda Calculus