4 ms·
An introduction to formal proof verification and the Curry-Howard Correspondence
- max-amb 2mo agoFeel free to ask any questions etc. here :)
- derdi 2mo agoI noticed that you use the spelling "contraposative" consistently. I'd only known this as "contrapositive", and Wiktionary agrees: https://en.wiktionary.org/wiki/contrapositive 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 2mo agoUnfortunately 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.
- cyanregiment 2mo agoOh that's where "currying" comes from? I thought it was just a delicious way to bind events.
- GroksBarnacles 2mo agoAnyone 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 2mo agoYeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)