Разрешение неоднозначностей

Idris

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Idris.

  • Idris — Unix-подобная проприетарная операционная система, выпускавшаяся с 1978 по 1988 годы.
  • Idris — язык программирования Haskell-семейства.

См. также[править | править код]