homepage: https://github.com/AndrasKovacs/singleton-nats
changelog-type: ''
hash: 5cce784ef4ae3763bb83395d886caeb55c18473729cee7a880641fec69fb1a9e
test-bench-deps: {}
maintainer: puttamalac@gmail.com
synopsis: Unary natural numbers relying on the singletons infrastructure.
changelog: ''
basic-deps:
  base: ! '>=4.8.1.0 && <5'
  singletons: ! '>=2.2 && <2.3'
all-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'
author: András Kovács
latest: '0.4.0.2'
description-type: haddock
description: Unary natural number relying on the <https://hackage.haskell.org/package/singletons
  singletons> infrastructure. More information about the general usage of singletons
  can be found on the <https://github.com/goldfirere/singletons singletons github>
  page.
license-name: BSD3

homepage: https://github.com/AndrasKovacs/singleton-nats
changelog-type: ''
hash: bb25c699fd7c6eeb7c1596e59ce6c84fb2b921beee9e2483e71dc0c2c8713ae8
test-bench-deps: {}
maintainer: puttamalac@gmail.com
synopsis: Unary natural numbers relying on the singletons infrastructure.
changelog: ''
basic-deps:
  base: ! '>=4.8.1.0 && <5'
  singletons: ! '>=2.2 && <2.4'
all-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'
author: András Kovács
latest: '0.4.0.3'
description-type: haddock
description: Unary natural number relying on the <https://hackage.haskell.org/package/singletons
  singletons> infrastructure. More information about the general usage of singletons
  can be found on the <https://github.com/goldfirere/singletons singletons github>
  page.
license-name: BSD3

Update from Hackage at 2017-11-03T20:10:12Z
Update from Hackage at 2017-11-03T20:10:12Z
