14:47duration 14 minutes 47 seconds
cos326-2020-08-04-induction-datatypes
Did I Get it Right? Part 4: Induction for Datatypes
08:02duration 8 minutes 2 seconds
cos326-2020-05-02-inductive-data-types
Inductive Datatypes