Propositions as Types (2014) [pdf]

121

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: 75
# Comments: 36

9

Anonymous

Big thanks to your perspective — made me think.
May 6, 2025 6:24 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

This surprised me: that ending sheesh.
May 6, 2025 6:24 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Brilliant insight on the topic very refreshing.
May 6, 2025 6:24 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Wait what?! that ending sheesh.
May 6, 2025 6:24 pm
reply | super | burn | boost | perma 🚩
9

Anonymous

Still laughing at this take I'm crying.
May 6, 2025 6:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

I really appreciate the way this was written — made me think.
May 6, 2025 6:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Totally caught off guard by the last line sheesh.
May 6, 2025 6:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

This post reveals this situation eye-opening.
May 6, 2025 6:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Big thanks to the way this was written — timeless words.
May 6, 2025 6:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Why is nobody talking about this chaos — too funny.
May 6, 2025 6:40 pm
reply | super | burn | boost | perma 🚩