RosettaCodeData/Task/Variadic-function/ACL2/variadic-function.acl2
2023-07-01 13:44:08 -04:00

8 lines
203 B
Text

(defun print-all-fn (xs)
(if (endp xs)
nil
(prog2$ (cw "~x0~%" (first xs))
(print-all-fn (rest xs)))))
(defmacro print-all (&rest args)
`(print-all-fn (quote ,args)))