graph-rewriting-lambdascope-0.5.5: examples/test2.l

λx. λy. let Z = λz. n1 x (n2 z) in Z (n3 y) Z