3 ms·
Simple typo. "(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.)" Are replaced b
by lkuty 2y ago
Simple typo. "(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.)" Are replaced by N.
- lkuty 2y agoAnother one. "“x̂” ⇒ “^x” → “∧x” → “λx”.]" The first ⇒ should be →.
- _emacsomancer_ 2y agoWell, I had it as → initially and changed it to ⇒ to try to indicate that the first change was a re-casting because Church was adapting Whitehead & Russell's notation for class-abstraction to a notation for function abstraction.
- _emacsomancer_ 2y agofixed now (late-night transposition).