Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
throwaway545232
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
throwaway545232
4y ago
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_correspon...