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

Лекция 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