hdiff
packages
feed
graph-rewriting-ww
-0.1: examples/repeat_optim.l
let repeat x = let loop = Cons x loop in loop in repeat 7