Найти в Дзене
Войти
1,0×
Лекция 9 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
1 просмотр · 10 лет назад
00:00
/
01:18:50
Лекториум
1343 подписчиков
Подписаться
3524342685.1322.1793556230205.70104