graph-rewriting-lambdascope-0.4.5: examples/lamping_simpl.l

let
	id = λx.x
	shared = λa. let
			shared = λb. a (b id)
		in shared (shared id)
in shared (shared id)