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