Mechanized type inference for record concatenation

 (haskellforall.com)

2 points | by g0xA52A2A 1 hour ago

0 comments