Лекция 6 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
635
17.6
Лекториум194 тыс
Следующее
Популярные
Опубликовано 4 марта 2017, 14:45
Лекция 6 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29857
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29857
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
2 дня – 6 1600:52
3 дня – 2 3981:00
8 дней – 1 0780:40
9 дней – 39 11937:24
Случайные видео
53 дня – 2 31955:46
328 дней – 4 32932:33
20.12.22 – 508 52459:37
06.02.22 – 4 83226:00
09.01.22 – 128 4061:50:08
20.09.12 – 52 17146:00
2 дня – 4 3290:58
4 дня – 1 1740:54
5 дней – 35 64417:36
8 дней – 37 38521:22
8 дней – 2 8710:57
10 дней – 15044:40
11 дней – 42 7880:59
18 часов – 60:30