Types versus sets (and what about categories?) (2022)lawrencecpaulson.github.io101 pointsmatt_d3 years ago