Category:Term-rewriting programming languages

Category Discussion

Revision as of 14:14, 30 March 2013 by imported>Addbot (Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q8843632)

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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

Template:AnchorPages in category "Term-rewriting programming languages"

The following 4 pages are in this category, out of 4 total.

C

Clean (programming language)

M

Maude system

O

OBJ (programming language)

Q

Q (equational programming language)

Retrieved from "https://zalansite.site/mediawiki/index.php?title=Category:Term-rewriting_programming_languages&oldid=548175"