Kaitlyndespite
написал 3905 дней назад
вернуться назад
[Из песочницы] Обзор языка Idris Agda is too mainstream! «Предвидение» (источник) Материалов о языке Idris на русском практически нет,