GitHub repository: valis/DT2018
Primary language: VCL
Created: 2018-09-05T13:07:28Z
Description: Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года