The Curry-Howard Correspondencegrant.jurgensen.dev3 points·Gajurgensen··0 commentsOpen articleSaveView on HN