Hacker News new | ask | show | jobs
Mechanized type inference for record concatenation as in Nix (haskellforall.com)
3 points by fanf2 21 days ago