Найти в Дзене
Войти
1,0×
Лекция 9 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
1 просмотр · 8 лет назад
00:00
/
01:18:50
Лекториум
1089 подписчиков
Подписаться
Хотите видеть больше публикаций по теме «IT (информационные технологии)»?
Давайте
Гаджеты и электроника
5,73 млн интересуются
Следить за темой
1422654770.1445.1749766340144.83822