Mechanized type inference for record concatenation as in Nix

 (haskellforall.com)

2 points | by fanf2  5 hours ago

No comments yet.