3 ms·What is it he says about type theory near the end?by pl-smith 15y agoWhat is it he says about type theory near the end?