Question: What type of language does Ramkali and Bhairav have in common?
Sentence (from "Cayenne (programming language)"): A notable design decision is that the language allows unbounded recursive functions to be used on the type level, making type checking undecidable.
Relevant evidence: No