Mechanized type inference for record concatenation

(haskellforall.com) by g0xA52A2A | Jul 7, 2026 | 0 comments on HN