From Daniel Macleod August 14th, 2020
284 | 36:57duration 36 minutes 57 seconds
cos326-2020-04-03-poly-ho
From Daniel Macleod August 16th, 2020
316 | 25:04duration 25 minutes 4 seconds
cos326-2020-04-02-map-reduce-reasoning
364 | 22:56duration 22 minutes 56 seconds
cos326-2020-03-02-lists
411 | 14:02duration 14 minutes 2 seconds
cos326-2020-02-02-functions
206 | 23:57duration 23 minutes 57 seconds
cos326-2020-08-03-induction-lists
166 | 43:07duration 43 minutes 7 seconds
cos326-2020-17-03-type-inference-1
98 | 20:43duration 20 minutes 43 seconds
cos326-2020-17-04-type-inference-2
233 | 35:50duration 35 minutes 50 seconds
cos326-2020-16-02-laziness.mp4
From Daniel Macleod August 21st, 2020
213 | 12:36duration 12 minutes 36 seconds
cos326-2020-13-01-representation-invariants
143 | 09:39duration 9 minutes 39 seconds
cos326-2020-17-02-type-checking-implementation
Start & End Time:
Start Time: