Statically Typed Vector Algebra Using Type Familiesgithub.com6 points·shangaslammi··0 commentsOpen articleSaveView on HN