Hacker News Reader

Comment by sfvisser | Hacker News Reader

Interesting related paper by Jeroen Fokker: The Systematic Construction of a One-Combinator Basis (1989)

  Y'=SSK(S(K(SS(S(SSK))))K)=X(XX)X(XX)XX(X(XX)(XX(X(XX)X(XX)(X(XX)(X(XX)X(XX)XX))))XX)

X(XX)X(XX)XX [ 0, 1 ] == {(, X}] Binary Combinatory Logic Truth: 1101111