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