Mechanized type inference for record concatenation

2 points | by birdculture 5 hours ago