You are viewing a single comment's thread. Return to all comments →
Basically, (\x.x+1) is a function who takes an argument x and returns x+1. And you can apply this function to a value, which is 3 in the exercise.
My explanation is probably far from perfect, but that's what I understood from https://en.wikipedia.org/wiki/Lambda_calculus
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #1
You are viewing a single comment's thread. Return to all comments →
Basically, (\x.x+1) is a function who takes an argument x and returns x+1. And you can apply this function to a value, which is 3 in the exercise.
My explanation is probably far from perfect, but that's what I understood from https://en.wikipedia.org/wiki/Lambda_calculus