Лекция 7 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
530
14.7
Лекториум194 тыс
Следующее
Популярные
Опубликовано 4 марта 2017, 14:46
Лекция 7 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29858
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29858
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 1 3751:46
3 дня – 2855:15
3 дня – 60 12714:07
3 дня – 2 2671:21:18
4 дня – 9 1540:44Случайные видео
115 дней – 3631:33:02
261 день – 20 8891:51:09
03.12.21 – 1375:55
12.01.20 – 15 2284:40
24.05.11 – 33 15716:30
2 дня – 2 09528:34
3 дня – 6 9150:37
3 дня – 4310:54
4 дня – 7 9981:16:16
6 дней – 11 4182:11
6 дней – 4200:46
6 дней – 4 4381:24:58
1 день – 9 9092:02