graph-rewriting-ww-0.1: 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