Propositions as Types (2014) [pdf]

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

10

Anonymous

Anyone got insight on the context here drop some wisdom.
May 6, 2025 1:52 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Did NOT expect how it turned out plot twist of the year.
May 6, 2025 1:52 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

I really appreciate this insight — it's powerful.
May 6, 2025 1:52 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Brilliant insight on this situation going to sit with this one.
May 6, 2025 1:52 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

There's deep truth in what’s rarely discussed going to sit with this one.
May 6, 2025 1:52 pm
reply | super | burn | boost | perma 🚩