Gajurgensen Karma 38 Created 7 years ago Recent Submissions 1. ▲ The Curry-Howard Correspondence (grant.jurgensen.dev) 3 points · 3 years ago · 0 comments All submissions on HN · View profile on HN