Найти в Дзене
Войти
1,0×
Лекция 3 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
1 просмотр · 8 лет назад
00:00
/
01:32:11
Лекториум
1112 подписчиков
Подписаться
2337875327.2049.1752725934302.38907