Ask HN: What are Type Theory beginner resources?3 points·jeff76··0 commentsWhat are beginner type theory resources online that do not assume advance programming and math knowledge? What are truly beginner type theory resources?SaveView on HN