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 16:04:38 UTC 2016
Distributions NixOS:
Downloads 744 total (21 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-12-24 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees