Меню Главная Случайная статья Настройки Файл:Idris-logo-small.png Материал из https://ru.wikipedia.org Описание изображения Описание Логотип Idris (язык программирования) Источник http://www.idris-lang.org/ Время создания 2015 Автор или правообладатель Jan de Muinck-Hughes