graph-rewriting-ww-0.1: examples/sum.l

let
	sum list = case list of
		Nil -> 0
		Cons z zs -> (\x.λy -> + x y) z (sum zs)
in sum (Cons 1 (Cons 2 Nil))