packages feed

graph-rewriting-ski-0.4.5: examples/combinator_birds/finch_twice_removed.ski

(S(K((S(K(S(K((S((S(K((S(KS))K)))S))(KK))))))((S(K((S((S(K((S(KS))K)))S))(KK))))(S(K((S((S(K((S(KS))K)))S))(KK))))))))