Лекция 7 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
530
14.7
Лекториум194 тыс
Следующее
Популярные
25 дней – 1210:27Опубликовано 4 марта 2017, 14:46
Лекция 7 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29858
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29858
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
4 дня – 35 53521:13
5 дней – 9 91747:55
6 дней – 1 0550:58
8 дней – 10 0970:00Случайные видео
38 дней – 1 8836:06
192 дня – 1 0950:56
12.10.23 – 19 23051:37
16.11.22 – 15 02337:20
30.10.21 – 1 80550:01
04.03.21 – 2 330 0379:40
22 часа – 70:29
1 день – 20 38920:27
2 дня – 23 0181:02:34
2 дня – 5 0270:33
3 дня – 2 3650:59
7 дней – 45 5961:30:05
9 дней – 6910:06
22 часа – 13 0540:49