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]. -- 1: h

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]. -- 1: https://en.wikipedia.org/wiki/Category:Term-rewriting_programming_languages https://en.wikipedia.org/wiki/Category:Term-rewriting_progra...