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