fast-nats: Natural Numbers with no overhead
Dependent Singleton like natural numbers without the Singleton dependency. The implementation uses inductive naturals at the type level but machine integers at the term level.
Downloads
- fast-nats-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1 |
---|---|
Dependencies | base (>=4.9 && <4.10) [details] |
License | MIT |
Author | Kyle McKean |
Maintainer | mckean.kylej@gmail.com |
Category | Data |
Bug tracker | https://github.com/mckeankylej/fast-nats/issues |
Source repo | head: git clone https://github.com/mckeankylej/fast-nats |
Uploaded | by mckeankylej at 2016-12-24T18:20:52Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1674 total (0 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |