graph-rewriting-ww-0.1: examples/vincent-0-ww.l

let delta = \x. x x
    Delta = (\y. y y) (\z. z z)
in  delta Delta