4 ms·

Interesting related paper by Jeroen Fokker: The Systematic Construction of a One-Combinator Basis (1989) https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1

• l- 5y ago
  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