Лекция 3 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
1 103
14.1
Лекториум193 тыс
Следующее
Опубликовано 3 марта 2017, 15:32
Лекция 3 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29854
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29854
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 14 9721:03:15
2 дня – 2258:42
3 дня – 22 2232:06
5 дней – 26 8861:07:24
9 дней – 7500:06Случайные видео
78 дней – 76 0483:04:43
21.03.23 – 290:41
01.03.22 – 3 97514:45
10.08.21 – 9 78217:57
26.03.09 – 10 2206:31
15 часов – 126 7411:25:02
6 часов – 1 1100:49
17 часов – 31716:45
4 дня – 1 8802:33
5 дней – 27 1472:17
5 дней – 82 9510:49
6 часов – 8 1464:25