Лекция 5 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
585
16.3
Лекториум194 тыс
Следующее
09.03.17 – 5 0631:31Популярные
56 дней – 1210:27
Опубликовано 9 марта 2017, 9:38
Лекция 5 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29856
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29856
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 10 32713:44
4 дня – 211:47:24
5 дней – 8 1607:15
8 дней – 15 0410:57
8 дней – 4 5901:00
9 дней – 86 63216:05Случайные видео
337 дней – 2 1380:45
14.10.23 – 1 41939:23
13.06.23 – 2 0419:16
14.05.23 – 45 8680:32
27.08.11 – 39 3675:39
6 часов – 1 5000:52
12 часов – 26424:30
3 дня – 17 86912:19
4 дня – 44 0741:18:25
4 дня – 13 0840:56
4 дня – 10 5891:17:59
5 дней – 1 6894:29:11
14 часов – 9381:31:21