Mechanized type inference for record concatenation

(haskellforall.com)

2 points | by birdculture 5 hours ago ago

No comments yet.