graph-rewriting-lambdascope-0.5.3: examples/WW-beta-saving-1.l

(\F. (\f. f (f 0)) (F (F 0 0))) (\y. \x. x)