4 ms·
> Type theory isn’t particularly heavy in terms of jargon compared to other foundational theories like category theory or set theory. And anyone who thinks the
by JadeNB 1y ago
> Type theory isn’t particularly heavy in terms of jargon compared to other foundational theories like category theory or set theory.
And anyone who thinks their own area doesn't have jargon has just forgotten how to recognize it.
- bevr1337 1y agoAnd quartz, of course. https://xkcd.com/2501/ https://xkcd.com/2501/