Найти в Дзене
Войти
1,0×
Лекция 7 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
9 лет назад
00:00
/
01:38:30
Лекториум
1299 подписчиков
Подписаться
3192579198.974.1784008819485.32124