dimensional-1.0.1.0: Statically checked physical dimensions, using Type Families and Data Kinds.

Index - .

.Numeric.Units.Dimensional.Prelude