3 ms·I am trying to learn type theory and get into grad school.by PartiallyTyped 3y agoI am trying to learn type theory and get into grad school.