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, 0.4.0.4
Dependencies base (>=4.8.1.0 && <5), singletons (>=2.2 && <2.5) [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 repo head: git clone https://github.com/AndrasKovacs/singleton-nats.git
Uploaded Tue Jan 9 20:44:56 UTC 2018 by AndrasKovacs
Distributions LTSHaskell:0.4.0.4, NixOS:0.4.0.4, Stackage:0.4.0.4, openSUSE:0.4.0.4
Downloads 2124 total (72 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 2018-01-09 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees