Propositions as Types: Explained (and Debunked)lawrencecpaulson.github.io4 pointshackandthink2 years ago