Open Andersen98 opened 2 years ago
The doc over here should probably be updated
Hi! Can it be resolved? The only solution to figure out why @rule doesn't work as expected now is to read the code and commit messages. I have a similar problem, and there is no place for me to start from.
I walked through the documentation here
r1(sin(2*(w-z)))
does not match andr3 = @rule ~x * +(~~ys) => sum(map(y-> ~x * y, ~~ys)); r3(2 * (w+w+α+β))
does not match. I switched over to Metatheory.jl and it seems to work perfectly though.