Лекция 2 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
2 122
12.4
Лекториум194 тыс
Следующее
03.03.17 – 1 1101:32:12Популярные
62 дня – 8517:35
Опубликовано 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
Свежие видео
1 день – 38 2958:07
2 дня – 11 08644:22
5 дней – 5 8831:22:08
5 дней – 69 3750:46
6 дней – 1 1161:31:21
11 дней – 12043:40Случайные видео
250 дней – 5372:53:26
339 дней – 54012:16
24.02.23 – 37 86616:11
22.10.22 – 12 0051:12:59
06.08.22 – 266 1401:00
11.06.21 – 12412:55
20 часов – 1 87525:19
1 день – 4440:58
1 день – 1 1366:51
2 дня – 9 81758:16
3 дня – 7 6150:36
4 дня – 1 39013:50
5 дней – 77839:25
19 часов – 1694:14