packages feed

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

((S(K(S(K((S((SK)K))((SK)K))))))K)