Types versus sets (and what about categories?)lawrencecpaulson.github.io79 pointscarnitine4 years ago