graph-rewriting-lambdascope-0.5.11: examples/vincent-1-ww.l

let G = \g. g (g x)
    F x = F x
    I x = x
in  G (F I)