Category:Term-rewriting programming languages

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 13 pages are in this category, out of 13 total. This list may not reflect recent changes (learn more).

Read in another language

This page is available in 1 language

Last modified on 30 March 2013, at 14:14