Category:Term-rewriting programming languages
Jump to navigation
Jump to search
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).
