packages feed

graph-rewriting-lambdascope-0.4.5: examples/repeat_naive.l

let repeat x = Cons x (repeat x)
in repeat 7