Лекция 3 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
1 105
14.2
Лекториум194 тыс
Следующее
Популярные
32 дня – 8962:40Опубликовано 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
Свежие видео
4 дня – 22 0582:00
8 дней – 177 64626:25
8 дней – 18755:50
10 дней – 20 64359:20
12 дней – 48 1451:26:04Случайные видео
11 дней – 6 31423:05
11 дней – 3411:31:03
56 дней – 42 25525:43
150 дней – 10 2890:59
05.03.20 – 147 76517:29
13.02.20 – 7928:09
1 день – 8801:00
3 дня – 8860:40
4 дня – 8627:17
4 дня – 24538:06
7 дней – 6 2560:58
8 дней – 16 8682:40
9 дней – 1 6570:55
1 день – 9831:00