Kaitlyndespite написал 3797 дней назад
пользователь kaitlyndespite

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

вернуться назад