Idris

Idris.

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

См. также
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.