4 ms·
@j2kun: Just curious, any chance you'd do an explainer on the Curry-Howard equivalence[1] sometime? Forgive me if you already have, but a search didn't turn any
by qrendel 11y ago
@j2kun: Just curious, any chance you'd do an explainer on the Curry-Howard equivalence[1] sometime? Forgive me if you already have, but a search didn't turn anything up. Seems pretty relevant to math ∩ programming and also of interest to a lot of generalists.
[1] https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
- j2kun 11y agoI think I have a mildly different opinion about the correspondence than most other people on the internet. That's mostly why I have decided to write about other things. But then again maybe that's a good reason to write about it.