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.
2 parents 60a3da3 + 444d50e commit 58bf255Copy full SHA for 58bf255
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