Comment #1533
Vardhan Walavalkar wrote
the following reply to
https://babbagefiles.xyz/lambda-calculus-and-lisp-01/:
In the first explanation of Beta reduction there is an incorrect mention that: "That is, an expression (λx.M) combining with an expression N returns (M) where all instances of x inside of M are replaced by x.)" - the last part of the sentence should say - "..where all instances of x inside of M are replaced with N". This can be confusing to those who want to use this blog to understand Lambda calculus.
Reply to this comment