Purely-functional, strongly-typed, omega-order programming language
Sources: Wikidata (CC0) · Wikidata Q50378369