Лекция 2 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
2 116
12.4
Лекториум194 тыс
Следующее
03.03.17 – 1 1051:32:12Популярные
17 дней – 578:21Опубликовано 3 марта 2017, 15:31
Лекция 2 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29853
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29853
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
9 дней – 51 4671:14:23
10 дней – 1 86511:14
10 дней – 30 4221:12:35
10 дней – 170 32344:42
Случайные видео
21 день – 31 75948:49
20.03.22 – 1 724 39426:26
31.01.22 – 11 5063:35
10.08.16 – 14 76011:43
11 часов – 08:58
3 дня – 2 0951:13:31
3 дня – 27 66637:24
6 дней – 10 9092:22
6 дней – 217 0971:00
8 дней – 47 6001:40:53
10 дней – 5 8640:53
1 день – 50 27211:31