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