Hacker News Reader

Not sure how much detail you are looking for, but I think essentially it is a term rewriting system.

Oh, interesting. One of the first results from Google turns up this: https://www.stephendiehl.com/posts/exotic02.html

> The most widely used rewriting engines often sit at the heart of programs and languages used for logic programming, proof assistants and computer algebra systems. One of the most popular of these is Mathematica and the Wolfram language.

Thanks!

Reply on news.ycombinator.com