3 ms·
Whatever your age this is an exceptionally well written description, worth finding a venue for it other than buried as an HN comment.
by jonahbenton 7y ago
Whatever your age this is an exceptionally well written description, worth finding a venue for it other than buried as an HN comment.
- jnbiche 7y agoAgreed. This is a very well-written bird's eye view of a significant chunk of type theory.