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