Typesafe SI units
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
Just an experiment using DataKinds
DataKinds