Statically Typed Vector Algebra Using Type Familiesgithub.com/leonidas6 pointsshangaslammi15 years ago