Discussion
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?
No comments yet
Be the first to share your thoughts.