Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

ACL2

Name: Anonymous 2014-07-06 1:33

(defun replace-ints (x)

  (cond ((endp x) nil)                    

        ((integerp (car x))              
         (cons 'I                         
               (replace-ints (cdr x))))   

        (t                                
         (cons (car x)                    
               (replace-ints (cdr x))))))

Name: Anonymous 2014-07-06 2:12

(defn replace-ints [x]
(map (fn [y] (if (integer? y) 'I y)) x))

Newer Posts