Mechanized type inference for record concatenation

3 points | by g0xA52A2A 7 hours ago