3 ms·Agreed. This is a very well-written bird's eye view of a significant chunk of type theory.by jnbiche 7y agoAgreed. This is a very well-written bird's eye view of a significant chunk of type theory.