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

let
	Cons x xs = λcons nil. cons x xs
	Nil = λcons nil. nil
in (Cons 1 (Cons 2 (Cons 3 Nil))) (λx xs. x) 0