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 2f1c6eb commit 67efedbCopy full SHA for 67efedb
src/core/rules.rkt
@@ -628,8 +628,8 @@
628
[(list op args ...) (cons op (map add-unsound args))]))
629
630
(define-rules arithmetic
631
- [add-sound-/ '(/ a b) '(sound-/ a b 0)]
632
- [add-sound-pow '(pow a b) '(sound-pow a b 0)]
633
- [add-sound-log '(log a) '(sound-log a 0)]
634
- [remove-sound-/ '(sound-/ a 0 b) b]
635
- [remove-sound-log '(sound-log 0 b) b])
+ [add-sound-/ (/ a b) (sound-/ a b 0)]
+ [add-sound-pow (pow a b) (sound-pow a b 0)]
+ [add-sound-log (log a) (sound-log a 0)]
+ [remove-sound-/ (sound-/ a 0 b) b]
+ [remove-sound-log (sound-log 0 b) b])
0 commit comments