A units of measure library ensures dimensional equivalence with a refinement type checker
Primary LanguageKotlin