Следующий


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

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

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

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

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

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

Следующий