hdiff
packages
feed
graph-rewriting-ww
-0.2: examples/trivial_dup.l
(λd. d d)((λi. i) x)