| ▲ | An introduction to formal proof verification and the Curry-Howard Correspondence(max-amb.github.io) |
| 27 points by max-amb 5 days ago | 6 comments |
| |
|
| ▲ | GroksBarnacles 2 days ago | parent | next [-] |
| 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 a day ago | parent [-] | | Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :) |
|
|
| ▲ | cyanregiment 2 days ago | parent | prev | next [-] |
| Oh that's where "currying" comes from? I thought it was just a delicious way to bind events. |
|
| ▲ | max-amb 5 days ago | parent | prev [-] |
| Feel free to ask any questions etc. here :) |
| |
| ▲ | derdi a day ago | parent [-] | | 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 18 hours ago | parent [-] | | 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. |
|
|
