vla5924-practice / functional-programming Public

Зачетные проекты по курсу "Современные проблемы компьютерных наук" (ПМИ маг. 1 курс)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
01_scheme		01_scheme
02_coq		02_coq
README.md		README.md

Repository files navigation

functional-programming

Зачетные проекты по курсу "Современные проблемы компьютерных наук" (ПМИ маг. 1 курс)