Лекция 6 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
635
17.6
Лекториум194 тыс
Следующее
Популярные
Опубликовано 4 марта 2017, 14:45
Лекция 6 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29857
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29857
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
6 дней – 5211:00
7 дней – 211:47:24
8 дней – 6 0380:52Случайные видео
5 дней – 57 50324:56
161 день – 9 9981:38:33
286 дней – 7 2870:26
361 день – 19 0300:55
08.08.23 – 7584:29
07.01.19 – 4 8026:58
5 дней – 2 9266:15
6 дней – 29 26826:21
7 дней – 81037:19
8 дней – 100 8291:24:54
9 дней – 96 88614:36
11 дней – 11 0980:21
5 дней – 13 2353:26