Hacker News new | ask | show | jobs
by 7thaccount 1457 days 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.