B blog.polybdenum.com Designing type inference for high quality type errors 83 points PaulHoule 1 year ago 17 comments
