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

let repeat x = let loop = Cons x loop in loop
in repeat 7