Category:Term-rewriting programming languages

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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