39:48duration 39 minutes 48 seconds
cos326-2020-16-01-mutation
Mutation
20:43duration 20 minutes 43 seconds
cos326-2020-17-04-type-inference-2
Type Checking: Part 4: Type Inference (Quantifiers)