Merge branch 'more-rules' into more-logic

Conflicts: src/jonase/kibit/rules/arithmetic.clj
winks · Mar 19, 2012 · 2cdf871 · 2cdf871
2 parents 14e25e6 + 0e355d5
commit 2cdf871
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/jonase/kibit/rules/arithmetic.clj b/src/jonase/kibit/rules/arithmetic.clj
@@ -19,5 +19,9 @@
 
   [(= ?x ?x)  true]
   [(== ?x ?x) true]
-  [(zero? 0)  true])
+  [(zero? 0)  true]
+
+  [(* ?x (* . ?xs)) (* ?x . ?xs)]
+  [(+ ?x (+ . ?xs)) (+ ?x . ?xs)])
+