Curry-Howard for Non-Dummies – Part 1philosophymademanifest.blogspot.com9 points·dtby··0 commentsOpen articleSaveView on HN