NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
GroksBarnacles 4 days 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 4 days ago [-]
Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)
cyanregiment 5 days ago [-]
Oh that's where "currying" comes from?

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

max-amb 8 days ago [-]
Feel free to ask any questions etc. here :)
derdi 4 days ago [-]
I noticed that you use the spelling "contraposative" consistently. I'd only known this as "contrapositive", and Wiktionary agrees: https://en.wiktionary.org/wiki/contrapositive . But I find lots of web hits for "contraposative", so I suspect it's more than just a common typo. Did you learn this specific form from some specific source that contrasted the two?
max-amb 4 days ago [-]
Unfortunately I think it may be just a common typo. I suppose it just looked right to me. Sorry to disappoint.

Edit: And to answer your question, no I did not.

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