Idris
Idris.
- Idris — Unix-подобная проприетарная операционная система, выпускавшаяся с 1978 по 1988 годы.
- Idris — язык программирования Haskell-семейства.
- Idris (род) — род перепончатокрылых насекомых из семейства Сцелиониды
См. также править
Список значений слова или словосочетания со ссылками на соответствующие статьи.
Если вы попали сюда из другой статьи Википедии, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на нужную статью.
Если вы попали сюда из другой статьи Википедии, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на нужную статью.