Mechanized type inference for record concatenation

2 pointsposted 5 hours ago
by birdculture
(haskellforall.com)

No comments yet