6 ms·
It is a TRS (term rewriting system) and very cool. I've posted on this before. There's not a whole lot on TRS, but there is some information out there.
by 7thaccount 4y ago
It is a TRS (term rewriting system) and very cool. I've posted on this before. There's not a whole lot on TRS, but there is some information out there.