← Back

Type checker may be wrong – Lean and the Curry-Howard correspondence

max-amb.github.io·by max-amb·15h ago·1 points·0 comments

Original Source

https://max-amb.github.io/blog/your_type_checker_may_be_wrong/Read Full Article ↗
View Discussion on HN (0 comments)