I went down this rabbit hole 2 months ago and stumbled upon the Curry-Howard correspondence [1]. I don't understand why I find this stuff fascinating. https:/

I went down this rabbit hole 2 months ago and stumbled upon the Curry-Howard correspondence [1]. I don't understand why I find this stuff fascinating. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...