graph-rewriting-lambdascope-0.5.3: examples/2times2.l

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