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

let two = λx. λy. x (x y)
in two two