Файл:Idris-logo-small.png
Нет версии с бо́льшим разрешением.
Idris-logo-small.png (190 × 88 пкс, размер файла: 5 КБ, MIME-тип: image/png)
| Описание | Логотип Idris (язык программирования) |
|---|---|
| Источник | http://www.idris-lang.org/ |
| Время создания | 2015 |
| Автор или правообладатель | Jan de Muinck-Hughes |
|
Данный файл является несвободным (не соответствует определению свободного произведения культуры). В соответствии с решением Фонда Викимедиа он может быть использован в русской Википедии только при соблюдении критериев добросовестного использования. Любое другое использование (как в русской Википедии, так и вне её) может стать нарушением авторского права. |
| Цель использования | Идентификация предмета статьи |
|---|---|
| Заменяемость | Нет, объект авторского права |
| Прочее | Предмет статьи не является продуктом коммерческого распространения |
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 03:39, 4 апреля 2016 | | 190 × 88 (5 КБ) | Be nt all (обсуждение | вклад) | {{Изображение | описание = Логотип Idris (язык программирования) | источник = http://www.idris-lang.org/ | время создания = 2015 | автор = Jan de Muinck-Hu… |
Вы не можете перезаписать этот файл.
Использование файла
Следующая страница использует этот файл:
