Propositions as Types: Explained (and Debunked)lawrencecpaulson.github.io3 points·ykonstant··0 commentsOpen articleSaveView on HN