You are viewing a single comment's thread. Return to all comments →
Just to be clear, notation \x.x+1 is supposed to be the same as \x -> x+1 ? Thanks!
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 →
Just to be clear, notation \x.x+1 is supposed to be the same as \x -> x+1 ? Thanks!