Open chrismwendt opened 10 years ago
For example, compiling S (K K) (K S) could give K (K S) even though S cannot be applied because:
S (K K) (K S)
K (K S)
S
S (K K) (K S) a K K a (K S a) K (K S a) K S
For example, compiling
S (K K) (K S)
could giveK (K S)
even thoughS
cannot be applied because: