> The less out-and-out math used to make a point about programming, the better, I think. Curry and Howard have some bad news for you https://en.wikipedia.org/w

> The less out-and-out math used to make a point about programming, the better, I think. Curry and Howard have some bad news for you https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...