3 ms·Ask HN: What are Type Theory beginner resources?3 points by jeff76 8y agoWhat are beginner type theory resources online that do not assume advance programming and math knowledge? What are truly beginner type theory resources?