Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский English

Лекция 5. Интерфейсы, модули и пространства имён
Программирование с зависимыми типами на языке Idris


Что: Лекция
Когда: Воскресенье, 12 февраля 2017, 15:30–17:00
Где: ПОМИ РАН
Слайды: 2017_02_12_idrisprogramming_2017_spring_QjsD9No.pdf

Видео