HNHacker News
TopNewBestAskShowJobs

jeff76

29 karma · joined December 21, 2018

submissionscomments

Ask HN: What are Type Theory beginner resources?

3 pts·jeff76·
0