RosettaCodeData/Task/Singly-linked-list-Traversal/ACL2/singly-linked-list-traversal.acl2
2023-07-01 13:44:08 -04:00

5 lines
137 B
Text

(defun traverse (xs)
(if (endp xs)
(cw "End.~%")
(prog2$ (cw "~x0~%" (first xs))
(traverse (rest xs)))))