Ask HN: What are Type Theory beginner resources?

3 points by jeff76 7y ago ↗ HN

What are beginner type theory resources online that do not assume advance programming and math knowledge? What are truly beginner type theory resources?