Category:Term-rewriting programming languages

From Wikipedia, the free encyclopedia

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

Pages in category "Term-rewriting programming languages"

The following 8 pages are in this category, out of 8 total. Updates to this list can occasionally be delayed for a few days.

A

C

I

M

Q

S

T
Languages