graph-rewriting-lambdascope-0.5.6: examples/morazan-fig1.l

let R = λx y.
	let
		f = R x
		g = R y
	in f g
in R