hdiff
packages
feed
graph-rewriting-ww
-0.1: examples/twice.l
let twice f x = f (f x) in twice twice inc