Idris
0 sources
Idris
Summary
Idris is an operating system[1]. Idris draws 9 Wikipedia views per month (operating_system category, ranking #168 of 552).[2]
Key Facts
- Idris's instance of is recorded as operating system[3].
- Idris's developer is recorded as P. J. Plauger[4].
- Idris's copyright license is recorded as proprietary license[5].
- Idris's copyright license is recorded as commercial software[6].
- Idris's language of work or name is recorded as English[7].
- +1979-00-00T00:00:00Z marks the founding of Idris[8].
- Idris's Freebase ID is recorded as /m/03wcgl[9].
Body
Publication
Idris's language of work or name is recorded as English[7].
Why It Matters
Idris draws 9 Wikipedia views per month (operating_system category, ranking #168 of 552).[2] Idris has Wikipedia articles in 5 language editions, a strong signal of global cultural recognition.[10]