hdiff
packages
feed
graph-rewriting-cl
-0.2.2: examples/combinator_birds/turing.ski
((S(K(S((SK)K))))((S((SK)K))((SK)K)))