pull down to refresh

Type checker wrong ? Lean and the Curry-Howard correspondence | Hacker Newsnews.ycombinator.com/item?id=49046983
65 sats \ 0 comments \ @beyond_turbulence 28 Jul bitdevs devs
write
compose
related posts