; arithmetic.l

(defun sum (l)
  (cond
    ((null l) 0)
    (t (+ (car l) (sum (cdr l))))
  )
)

(defun product (l)
  (cond
    ((null l) 1)
    (t (* (car l) (product (cdr l))))
  )
)