▲ 2 pointsMechanized type inference for record concatenationhaskellforall.comby birdculture·1mo ago·0 comments·view on hn ↗