The fast-nats package

[Tags:library, mit]

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.

Properties

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 repository head: git clone https://github.com/mckeankylej/fast-nats
Uploaded Sat Dec 24 18:20:52 UTC 2016 by mckeankylej
Distributions NixOS:0.1.0.1
Downloads 67 total (11 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees