Open chrismwendt opened 10 years ago
For example, after defining F = S K, K (S K) K should reduce to F instead of (S K).
F = S K
K (S K) K
F
(S K)
For example, after defining
F = S K
,K (S K) K
should reduce toF
instead of(S K)
.