Add all the A tasks

2013-04-10 14:58:50 -07:00 · 2013-04-10 14:58:50 -07:00 · 051504d65b
commit 051504d65b
parent 2dd7375f96
1608 changed files with 18584 additions and 0 deletions
--- a/Task/Averages-Arithmetic-mean/ACL2/averages-arithmetic-mean.acl2
+++ b/Task/Averages-Arithmetic-mean/ACL2/averages-arithmetic-mean.acl2
@ -0,0 +1,13 @@
+(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))))