chemlambda demos
Simultaneous reduction and self-multiplication of YI= S (K (S I I)) (S (S (K S) K) (K (S I I)))I goes well in the random reduction algorithm.
start
