Лекция 5 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
585
16.3
Лекториум194 тыс
Следующее
09.03.17 – 5 0501:31Популярные
29 дней – 2 3134:14
112 дней – 1 5480:29Опубликовано 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
Свежие видео
2 дня – 5 6031:00
2 дня – 4 19320:16
3 дня – 186 69012:33
5 дней – 12 7060:54
6 дней – 13 1154:05
8 дней – 10 94415:45Случайные видео
177 дней – 5 63416:28
244 дня – 11 7080:27
23.01.23 – 2 1816:24
31.07.22 – 76 7170:58
10.01.19 – 665 81419:06
1 день – 41 01522:38
2 дня – 21 9990:40
4 дня – 153 9541:24:05
4 дня – 24 7023:38
4 дня – 5 7113:20:34
5 дней – 165 74526:25