Mechanized type inference for record concatenation

(haskellforall.com)

3 points | by g0xA52A2A 7 hours ago ago

No comments yet.