3 ms·
Pull this thread far enough and it turns out the Y-combinator is a lambda encoding of Russell’s paradox.
by carnitine 5y ago
Pull this thread far enough and it turns out the Y-combinator is a lambda encoding of Russell’s paradox.
loading thread…