5 ms·

(butting in) What is recursive about the parent comment?

• hbrn 4y ago
  It's recursive in the context of "making sense of TS using set theory". If you understand sets, but not types, statements about "sets defined by types" are meaningless.