Type checker may be wrong – Lean and the Curry-Howard correspondence
By max-amb · 2026-07-25 · 1 points · 1 comments
https://max-amb.github.io/blog/your_type_checker_may_be_wrong/
By max-amb · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews