Article URL: https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
Comments URL: https://news.ycombinator.com/item?id=43903945
Points: 39
# Comments: 4