Type safe dimensional analysis in Haskellstephanboyer.com3 points·curryhoward··0 commentsOpen articleSaveView on HN