graph-rewriting-ww-0.1: examples/2times2.l

(\x. \y. x(x y)) (\x. \y. x(x y))