12:40 duration 12 minutes 40 seconds
cos326-2020-04-04-type-history
Where did type systems come from?