graph-rewriting-lambdascope-0.5.7: examples/running_eff.l

\x. \f. let  r = f r x  in  r