Idris

Type	operating system
Developer	P. J. Plauger
License	commercial software, proprietary license
Introduced	1979

Sources: Wikidata (CC0) · Wikidata Q427593