HN Explorer

jeff76

↗ HN profile [ 59.6 ms ] full profile
Karma
29
Created
December 21, 2018 (7y ago)
Submissions
0
  1. 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?

    3 points 0