3 ms·
And as it turns out, the smallest one too. For combinatory logic with the usual {S,K} basis, it's S S K (S (S S K).
by tromp 3y ago
And as it turns out, the smallest one too.
For combinatory logic with the usual {S,K} basis, it's S S K (S (S S K).