rev nil nil rev rev x x rev ++ x y ++ rev y rev x ++ nil y y ++ x nil x ++ . x y z . x ++ y z ++ x ++ y z ++ ++ x y z make x . x nil rev 1 nil 0 ++ 2 . 2 make 1 FULL ./TRS/SK90/4.26.trs