Hacker News new | ask | show | jobs
An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
24 points by max-amb 3 days ago
3 comments
GroksBarnacles 7 hours ago
Anyone else having the text squeezed to only ~1/3 the page width? On mobile

Edit: Switched to desktop site, and.. that's just how it is

link
max-amb 3 days ago
Feel free to ask any questions etc. here :)
link
cyanregiment 7 hours ago
Oh that's where "currying" comes from?

I thought it was just a delicious way to bind events.

link