Related:<p><i>Modal is a matrioshka language based on pattern-matching to rewrite trees</i> - <a href="https://news.ycombinator.com/item?id=40126935">https://news.ycombinator.com/item?id=40126935</a> - April 2024 (21 comments)
This related wikipedia page is a bit hard to find, so :-) "functional languages that are based on term-rewriting instead of the lambda calculus." [1].<p>--<p>1: <a href="https://en.wikipedia.org/wiki/Category:Term-rewriting_programming_languages" rel="nofollow">https://en.wikipedia.org/wiki/Category:Term-rewriting_progra...</a>