Ask HN: What are Type Theory beginner resources?

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