dimensioned 0.4.0

Compile-time type checking of arbitrary unit systems.
Documentation