23:57
cos326-2020-08-03-induction-lists
Did I Get it Right? Part 3: Induction for Lists
22:56
cos326-2020-03-02-lists
Thinking Inductively