units-2.4.1.2: A domain-specific type system for dimensional analysis

Index - /

/|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology