Mechanized type inference for record concatenation as in Nixhaskellforall.com3 points·fanf2··0 commentsOpen articleSaveView on HN