Skip to content
Browse files

Addition and multiplication rules

  • Loading branch information...
1 parent 2dbbfee commit 0e355d5bbe43faca9580a676aab75064e27f3923 @jonase committed Mar 17, 2012
Showing with 5 additions and 1 deletion.
  1. +5 −1 src/jonase/kibit/rules/arithmetic.clj
View
6 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)})
+

0 comments on commit 0e355d5

Please sign in to comment.
Something went wrong with that request. Please try again.