Лекция 4. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский)

Round-16 hunt: picked; source: deeper uploads from a strong channel accepted this round; channel already live on Lumen; strict per-title check + final strict pass; title rules; oEmbed verified.

A 78-minute video from ФКН ВШЭ: “Лекция 4. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский)”.

Video by ФКН ВШЭ, played through YouTube's embedded player.