Simple, good explanation of “Propositions as Types”codewords.recurse.com2 points·charlieflowers··0 commentsOpen articleSaveView on HN