MIPT-FP-23-Lect-02

Функциональное программирование в МФТИ. Темы: булевы и арифметические функции в бестиповом лямбда-исчислении. Вниманию зрителей: теоретическая часть у курса общая с курсом про Coq.