A statically typed dimensional analysis calculator written in Agda. Contains 7 base dimensions: Mass (M), length (L), time (T), electrical current (I), absolute temperature (Θ), amount of substance (N) and luminous intensity (J), as well as some derived SI units.

Used to prove that the equation e=mc² is indeed measured in joules.

Similar to Dimensional and Dimenso, although just a toy and probably will stay that way.

Questions or Comments? [email protected]