GitHub repository: AlexVanGogen/DT2018
Primary language: VCL
Description: Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года