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"

There are 4 pages in this section of this category.

C

I

M

Q

Retrieved from "http://en.wikipedia.org../../../t/e/r/Category%7ETerm-rewriting_programming_languages_cd3a.html"
In other languages