4 ms·There is certainty no royal road to type theory. Ugh!!by throweway 10y agoThere is certainty no royal road to type theory. Ugh!!