Category:Set theoretic programming languages

This category lists those programming languages that adhere to the set theoretic programming paradigm.