Mechanized type inference for record concatenation as in Nix

2 points | by fanf2 5 hours ago