type theory is an OP by Big Keyboard to make you type more
---
RT @SC_Griffith
Sets are a plausible ontological commitment because it's basic to making sense of things to form collections of them. How can we even reason without that capability? *Forms a paradoxical set* Ok let me explain so there are things called CLASSES and
https://twitter.com/SC_Griffith/status/1396497883302612994