Лекция 2 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
0
0
14 Просмотры
Опубликован в 16 May 2019 / В
Математика
Лекция 2 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29853
Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: https://www.lektorium.tv/Zqe
Подписывайтесь на канал: https://www.lektorium.tv/ZJA
Следите за новостями:
https://vk.com/openlektorium
https://www.facebook.com/openlektorium
Показать больше
0 Комментарии
sort Сортировать по