NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
25 points by max-amb 4 days ago | 4 comments
GroksBarnacles 8 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

max-amb 11 minutes ago [-]
Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)
max-amb 4 days ago [-]
Feel free to ask any questions etc. here :)
cyanregiment 9 hours ago [-]
Oh that's where "currying" comes from?

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 08:07:11 GMT+0000 (Coordinated Universal Time) with Vercel.