Idris — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: «<slideshow style="ispras" headingmark="." scaled=1 /> === Источники . === * https://www.idris-lang.org/ * :File:Type Driven Development with Idris.pdf…»)
 
(нет различий)

Текущая версия на 07:21, 16 апреля 2024

Заголовок

Idris
Автор
Стас Фомин
Нижний колонтитул
Idris
Дополнительный нижний колонтитул

Стас Фомин, 07:21, 16 апреля 2024

Источники .

Инсталляция .