Лекция 1 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
4 754
12.9
Лекториум191 тыс
Следующее
03.03.17 – 2 1041:44:31Популярные
161 день – 3 6050:33
23.12.22 – 89111:49Опубликовано 3 марта 2017, 15:28
Лекция 1 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29852
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29852
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
4 дня – 1370:55
8 дней – 6 4251:31:56
8 дней – 314 7331:00Случайные видео
113 дней – 77256:00
214 дней – 37 37037:18
24.03.23 – 153 03515:06
10.01.22 – 24728:20
4 дня – 52 9941:48:04
5 дней – 1901:24
7 дней – 1211:03:43
8 дней – 91049:46
10 дней – 3 5521:21:21
11 дней – 7 0088:10
13 дней – 3 29227:25
2 дня – 3 6230:00