GitHub repository: valis/DT2019
Created: 2019-09-02T10:34:52Z
Description: Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года