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

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