Mechanized type inference for record concatenation

(haskellforall.com) by birdculture | Jul 9, 2026 | 0 comments on HN