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 0.1.0.0, 0.1.0.1
Dependencies base (==4.9.*) [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 Sat Dec 24 18:20:52 UTC 2016
Distributions NixOS:0.1.0.1
Downloads 479 total (10 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees