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