MAYBE 28.54/10.19 MAYBE 28.54/10.19 28.54/10.19 Problem: 28.54/10.19 rev(nil()) -> nil() 28.54/10.19 rev(.(x,y)) -> ++(rev(y),.(x,nil())) 28.54/10.19 car(.(x,y)) -> x 28.54/10.19 cdr(.(x,y)) -> y 28.54/10.19 null(nil()) -> true() 28.54/10.19 null(.(x,y)) -> false() 28.54/10.19 ++(nil(),y) -> y 28.54/10.19 ++(.(x,y),z) -> .(x,++(y,z)) 28.54/10.19 28.54/10.19 Proof: 28.54/10.19 Open 28.54/10.19 EOF