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 Sat Dec 24 18:20:52 UTC 2016
Distributions NixOS:
Downloads 832 total (46 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
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