It is not worth spending time on type theory. It is quite meaningless, literally...

		auggierose 7 months ago \| parent \| context \| favorite \| on: Why is it worth spending time on type theory? (201... It is not worth spending time on type theory. It is quite meaningless, literally.