Propositions as Types: Some Missing Linksk-bx.github.io2 points·k_bx··0 commentsOpen articleSaveView on HN