[s5 | 2022] Теория типов, Дмитрий Штукенберг, лекция 15

Whole-channel inclusion: CT Lectures (title sample: A straightforward archive of full university lectures and practice sessions across math, CS, and programming courses, consistently educational with descriptive non-clickbait titles.; 1 of 3 sampled transcripts read as real teaching); this title passed a strict title check.