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

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


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

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

Семестр
весна 2017