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.

Versions [faq],
Dependencies base (==4.9.*) [details]
License MIT
Author Kyle McKean
Category Data
Bug tracker
Source repo head: git clone
Uploaded by mckeankylej at 2016-12-24T18:20:52Z
Distributions NixOS:
Downloads 1325 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees