3 ms·
I might prefer this: S S I (S (S (C S) C) (C (S I I))) But then I'd be tempted to abstract the I out and apply to (S C C).
by fexl 17y ago
I might prefer this:
S S I (S (S (C S) C) (C (S I I)))
But then I'd be tempted to abstract the I out and apply to (S C C).