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

Программирование с зависимыми типами на языке Idris


Описание появится позже


Прочтения курса: