The singleton-nats package

[Tags:bsd3, library]

Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.

Properties

Versions 0.1.0.0, 0.1.1.0, 0.2.0.0, 0.3.0.0, 0.3.0.1, 0.3.1.0, 0.4.0.0, 0.4.0.1, 0.4.0.2
Dependencies base (>=4.8.1.0 && <5), singletons (==2.2.*) [details]
License BSD3
Copyright 2015 András Kovács
Author András Kovács
Maintainer puttamalac@gmail.com
Category Data, Dependent Types
Home page https://github.com/AndrasKovacs/singleton-nats
Bug tracker https://github.com/AndrasKovacs/singleton-nats/issues
Source repository head: git clone https://github.com/AndrasKovacs/singleton-nats.git
Uploaded Tue Jul 5 15:01:02 UTC 2016 by AndrasKovacs
Distributions NixOS:0.4.0.2
Downloads 715 total (5 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-07-05 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees