RosettaCodeData/Task/Averages-Arithmetic-mean/ACL2/averages-arithmetic-mean.acl2

14 lines
263 B
Text
Raw Permalink Normal View History

2013-04-10 14:58:50 -07:00
(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))))