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