Найти в Дзене
Войти
1,0×
Лекция 2 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
2 просмотра · 8 лет назад
00:00
/
01:44:30
Лекториум
1096 подписчиков
Подписаться
Хотите видеть больше публикаций по теме «Образование»?
Давайте
Образование
4,84 млн интересуются
Следить за темой
4158704208.1427.1750939271571.53077