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