We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Dependent Types (IFMO/JB, Fall 2021)
Материалы и задания по курсу "Программирование с зависимыми типами" осени 2021 года