4 ms·
Another one. "“x̂” ⇒ “^x” → “∧x” → “λx”.]" The first ⇒ should be →.
by lkuty 2y ago
Another 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.