From 0e355d5bbe43faca9580a676aab75064e27f3923 Mon Sep 17 00:00:00 2001
From: Jonas Enlund <jonas.enlund@gmail.com>
Date: Sat, 17 Mar 2012 20:43:09 +0200
Subject: [PATCH] Addition and multiplication rules

---
 src/jonase/kibit/rules/arithmetic.clj | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/jonase/kibit/rules/arithmetic.clj b/src/jonase/kibit/rules/arithmetic.clj
index 496102a..93e9886 100644
--- a/src/jonase/kibit/rules/arithmetic.clj
+++ b/src/jonase/kibit/rules/arithmetic.clj
@@ -18,5 +18,9 @@
     
     (= ?x ?x)  true
     (== ?x ?x) true
-    (zero? 0)  true})
+    (zero? 0)  true
+
+    (* ?x (* . ?xs)) (* ?x . ?xs)
+    (+ ?x (+ . ?xs)) (+ ?x . ?xs)})
+