3 ms·
This is becoming funny. I recommend this book for you, you should read it. I have: https://www.cambridge.org/core/books/term-rewriting-and-all-that/71768055278
by auggierose 3y ago
This is becoming funny.
I recommend this book for you, you should read it. I have: https://www.cambridge.org/core/books/term-rewriting-and-all-that/71768055278D0DEF4FFC74722DE0D707 https://www.cambridge.org/core/books/term-rewriting-and-all-...
- epgui 3y agoFunny indeed, that’s the first reference on the wiki article. shrugs
- auggierose 3y agoSo you've read it? I wouldn't think so, because you don't seem to know the first thing about equational reasoning, namely that it is ALWAYS ABOUT EQUATIONS.