@hackage numtype-dk0.5

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
bjorn@buckwalter.se
Links
Versions
- 0.5.0.3 Sun, 6 Jun 2021
- 0.5.0.2 Sat, 18 Jun 2022
- 0.5.0.1 Tue, 25 Sep 2018
- 0.5 Tue, 25 Sep 2018

Experimental. Requires GHC 7.8 or later.

For project information (issues, updates, wiki, examples) see: http://github.com/bjornbm/numtype-dk

Installation
In your cabal file:
Dependencies (1)
- base >=4.7 && <4.9
Dependents (4)
@hackage/dimensional, @hackage/dimensional-codata, @hackage/exact-pi, @hackage/science-constants-dimensional