L lawrencecpaulson.github.io Types versus sets (and what about categories?) (2022) 101 points matt_d 3 years ago 36 comments
