Следующий


Лекция 7 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский

19 Просмотры
librarian
1
Опубликован в 16 May 2019 / В Математика

Лекция 7 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29858

Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: https://www.lektorium.tv/Zqe

Подписывайтесь на канал: https://www.lektorium.tv/ZJA
Следите за новостями:
https://vk.com/openlektorium
https://www.facebook.com/openlektorium

Показать больше
0 Комментарии sort Сортировать по

Следующий