Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

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


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

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

Семестр Отделение
весна 2017 Санкт-Петербург