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