Induction on an ADT for Natural Numbers | OCaml Programming | Chapter 6 Video 27
Why it's on BrighterTube
Editorial review · 85% confidenceFull-course playlist 'OCaml Programming: Correct + Efficient + Beautiful' from a curated course list (OCaml Programming: Correct + Efficient + Beautiful); uploader is instructor; playlist judged: A structured, comprehensive Cornell CS3110 OCaml course delivered by its own instructor, covering functional programming concepts in depth despite short per-video chunking.; title passed a strict title check; oEmbed verified.
What you'll learn
A 6-minute video from Michael Ryan Clarkson: “Induction on an ADT for Natural Numbers | OCaml Programming | Chapter 6 Video 27”.
Video by Michael Ryan Clarkson, played through YouTube's embedded player.