HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Gajurgensen
46 karma · joined November 21, 2018
submissions
comments
The Curry-Howard Correspondence
grant.jurgensen.dev
·
3 pts
·
Gajurgensen
·
0