4 ms·
What about expressing something a bit more complex like: λf. (λx. f (x x))(λx. f (x x))
by arethuza 2y ago
What about expressing something a bit more complex like: λf. (λx. f (x x))(λx. f (x x))
- nuancebydefault 2y agoIt is so complex that i don't even know how to start reading it (not that i am a reference of mathematical complexity). Does the x each time mean something else?
- credit_guy 2y agoIt’s a joke. That particular lambda expression is the Y combinator.
- keithalewis 2y agof ↦ (x ↦ f (x x))(x ↦ f (x x))