> Logic errors are generally independent of type issues Eh ... what?! Is that some kind of joke? https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspond

> Logic errors are generally independent of type issues Eh ... what?! Is that some kind of joke? https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...