20:43duration 20 minutes 43 seconds
cos326-2020-17-04-type-inference-2
Type Checking: Part 4: Type Inference (Quantifiers)