Basic Ideas --- Accumulation


Finally we have


append(x,y,<acc,num>) = case x of 
 	nil 	    -> accy
 	Cons[x1,xs] -> append(xs,y,
 			<accCons[x1,DUMMY], 2>)

Tail-recursive definition