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

(λx.(λy.((λf.((λh.(h(λp.(h(λq.p)))))
              (λl.(((f(λn.(l n))) x) y))))
         (λg.(λu.(λv.((g u) (g v))))))))