If two people agreed on that statement, its entirely unclear if they agree with each other and if they found something profound in the first place. The imo muc

If two people agreed on that statement, its entirely unclear if they agree with each other and if they found something profound in the first place. The imo much more foundational relationship not everybody is aware of is https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...