AFP 12 - Induction

This lecture introduces the concept of induction for natural numbers and lists. The emphasis is on carefully explaining the process of doing proofs by induction, and the kind of techniques that are used when performing such proofs.

Course playlist: http://tinyurl.com/haskell-notts2