This will be a library to do compile-time checking of physical dimensions. It will allow one to ensure unit correctness with zero runtime overhead.
Right now (version 0.0.2), it is an implementation of the peano numbers that will be used for dimensional powers.
To view test output, run:
cargo test -- --nocapture