Open chrismwendt opened 10 years ago
Support named terms which can be reused:
I = S K K Y = S (K (S I I)) (S (S (K S) K) (K (S I I))) Y I
Support named terms which can be reused: