graph-rewriting-lambdascope-0.5.3: examples/vincent-0-ww.l

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