packages feed

graph-rewriting-ww-0.2: examples/trivial_dup.l

(λd. d d)((λi. i) x)