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