Mechanized type inference for record concatenation as in Nix

(haskellforall.com) by fanf2 | Jul 8, 2026 | 0 comments on HN