RosettaCodeData/Task/Variadic-function/ACL2/variadic-function.acl2

9 lines
203 B
Plaintext

(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)))