i was hoping the article would focus on pure[0] rather than mathematica - term rewriting is very interesting, but symbolic mathematics seems to be the default use of it, and i never see anyone talking about other applications.

[0] https://agraef.github.io/pure-lang/