Category:Term-rewriting programming languages

This category lists those functional languages that are based on term-rewriting instead of the lambda calculus.