Ask HN: What are Type Theory beginner resources?

Posted by jeff76 on Saturday January 05, 2019 @03:05PM
from the ask-hn dept.

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

( no comments | 3 points | on HN )

There are no comments yet.