3 ms·
> let A = (x) => (y) => (z) => x(z)(y((w) => z)) What is w?
by teiferer 1y ago
> let A = (x) => (y) => (z) => x(z)(y((w) => z))
What is w?
- tromp 1y agoThe name for a dummy argument that is not used. We could also write A as \x y z => x z (y (K z)), since K is the const function that ignores its second argument and returns the first.