We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 60a3da3 commit 444d50eCopy full SHA for 444d50e
src/syntax/rules.rkt
@@ -26,7 +26,7 @@
26
(car results))))
27
28
; Commutativity
29
-(define-ruleset commutivity (arithmetic simplify)
+(define-ruleset commutativity (arithmetic simplify)
30
[+-commutative (+ a b) (+ b a)]
31
[*-commutative (* a b) (* b a)])
32
0 commit comments