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.
This category lists those functional languages that are based on term-rewriting instead of the lambda calculus.