Лекция 5 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
585
17.7
Лекториум191 тыс
Следующее
09.03.17 – 5 0231:31Популярные
80 дней – 6 1850:20
254 дня – 66349:51Опубликовано 9 марта 2017, 9:38
Лекция 5 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29856
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29856
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
5 дней – 3 3195:38
6 дней – 4017:46
7 дней – 75 5980:19
Случайные видео
51 день – 14 5570:49
223 дня – 5 6521:16:55
357 дней – 11 1320:46
02.01.23 – 1 5902:37:16
05.10.21 – 154 10231:30
10 часов – 4 2740:48
1 день – 2 1730:53
1 день – 29 1201:39
2 дня – 21 2692:21:46
2 дня – 7 0907:43
