Functional programming language targeting relational algebra and used as a hardware description language
Sources: Wikidata (CC0) · Wikidata Q7376262