rev nil nil rev . x y ++ rev y . x nil car . x y x cdr . x y y null nil true null . x y false ++ nil y y ++ . x y z . x ++ y z rev 1 nil 0 . 2 ++ 2 car 1 cdr 1 null 1 true 0 false 0 FULL ./TRS/SK90/2.39.trs