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

9 lines
203 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
(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)))