3 ms·No, they are obviously ignorant to type theoryby lkjaldfwltjohw 3y agoNo, they are obviously ignorant to type theory