Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause