RosettaCodeData/Task/Averages-Arithmetic-mean/ACL2/averages-arithmetic-mean.acl2
2013-04-10 14:58:50 -07:00

13 lines
263 B
Text

(defun mean-r (xs)
(if (endp xs)
(mv 0 0)
(mv-let (m j)
(mean-r (rest xs))
(mv (+ (first xs) m) (+ j 1)))))
(defun mean (xs)
(if (endp xs)
0
(mv-let (n d)
(mean-r xs)
(/ n d))))