3 ms·It is not worth spending time on type theory. It is quite meaningless, literally.by auggierose 1y agoIt is not worth spending time on type theory. It is quite meaningless, literally.