3 ms·
> very very very slightly confusing for - and / It's fine if you DNF it: (- a b c) => (+ a (- b) (- c)) (/ a b c) => (* a (/ 1 b) (/ 1 c))
by tmtvl 2y ago
> very very very slightly confusing for - and /
It's fine if you DNF it:
(- a b c) => (+ a (- b) (- c))
(/ a b c) => (* a (/ 1 b) (/ 1 c))