dimensional-tf-0.2: Statically checked physical dimensions, implemented using type families.

Index - -

-Numeric.Units.Dimensional.TF, Numeric.Units.Dimensional.TF.Prelude