Idris — история изменений

Материал из DISCOPAL
Перейти к: навигация, поиск

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

  • (текущ. | пред.) 07:21, 16 апреля 2024StasFomin (обсуждение | вклад). . (1005 байтов) (+1005). . (Новая страница: «<slideshow style="ispras" headingmark="." scaled=1 /> === Источники . === * https://www.idris-lang.org/ * :File:Type Driven Development with Idris.pdf…»)
Источник — «https://discopal.ispras.ru/Idris»