@hackage numtype-dk0.5
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
Categories
License
BSD-3-Clause
Maintainer
bjorn@buckwalter.se
Links
Versions
Installation
Dependencies (1)
Dependents (4)
@hackage/dimensional, @hackage/dimensional-codata, @hackage/exact-pi, @hackage/science-constants-dimensional
Experimental. Requires GHC 7.8 or later.
For project information (issues, updates, wiki, examples) see: http://github.com/bjornbm/numtype-dk