From Daniel Macleod August 16th, 2020
166 | 43:07duration 43 minutes 7 seconds
cos326-2020-17-03-type-inference-1
183 | 39:48duration 39 minutes 48 seconds
cos326-2020-16-01-mutation
From Daniel Macleod August 21st, 2020
409 | 14:02duration 14 minutes 2 seconds
cos326-2020-02-02-functions
From Daniel Macleod August 14th, 2020
142 | 09:39duration 9 minutes 39 seconds
cos326-2020-17-02-type-checking-implementation
230 | 22:46duration 22 minutes 46 seconds
cos326-2020-13-03-ho-rep-inv
363 | 22:56duration 22 minutes 56 seconds
cos326-2020-03-02-lists
296 | 20:03duration 20 minutes 3 seconds
cos326-2020-06-03-more-evaluation
158 | 21:17duration 21 minutes 17 seconds
cos326-2020-17-01-type-checking-rules
506 | 43:11duration 43 minutes 11 seconds
cos326-2020-01-02-ocaml
From Daniel Macleod August 13th, 2020
310 | 21:43duration 21 minutes 43 seconds
cos326-2020-02-03-tuples
Start & End Time:
Start Time: