RosettaCodeData/Task/Apply-a-callback-to-an-array/ACL2/apply-a-callback-to-an-array.acl2

(defun apply-to-each (xs)
   (if (endp xs)
       nil
       (cons (fn-to-apply (first xs))
             (sq-each (rest xs)))))

(defun fn-to-apply (x)
   (* x x))
Just another update 2015-02-20 00:35:01 -05:00			`(defun apply-to-each (xs)`
Add all the A tasks 2013-04-10 14:58:50 -07:00			`(if (endp xs)`
			`nil`
Just another update 2015-02-20 00:35:01 -05:00			`(cons (fn-to-apply (first xs))`
Add all the A tasks 2013-04-10 14:58:50 -07:00			`(sq-each (rest xs)))))`
Just another update 2015-02-20 00:35:01 -05:00
			`(defun fn-to-apply (x)`
			`(* x x))`