fast-nats: Natural Numbers with no overhead

[ data, library, mit ] [ Propose Tags ]

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.




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],
Dependencies base (>=4.9 && <4.10) [details]
License MIT
Author Kyle McKean
Category Data
Bug tracker
Source repo head: git clone
Uploaded by mckeankylej at 2016-12-24T18:20:52Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1646 total (10 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]