RosettaCodeData/Task/Loops-N-plus-one-half/ACL2/loops-n-plus-one-half.acl2
2023-07-01 13:44:08 -04:00

6 lines
221 B
Text

(defun print-list (xs)
(progn$ (cw "~x0" (first xs))
(if (endp (rest xs))
(cw (coerce '(#\Newline) 'string))
(progn$ (cw ", ")
(print-list (rest xs))))))