The singleton-nats package

[ Tags: bsd3, data, dependent-types, library ] [ Propose Tags ]

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, 0.4.0.3
Dependencies base (>=4.8.1.0 && <5), singletons (>=2.2 && <2.4) [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 Fri Nov 3 20:03:53 UTC 2017 by AndrasKovacs
Distributions NixOS:0.4.0.3, Stackage:0.4.0.3
Downloads 1058 total (157 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-11-03 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees