I love the Curry-Howard correspondence between programs and proofs, and types and propositions, as much as any functional programmer. But let's not forget the original correspondence, the Russell-Whitehead correspondence, between programs and propositions, and traces and proofs.
5:00 AM - 30 Dec 2018
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!