homepage: ''
changelog-type: ''
hash: c2a4cb382adac9c906a7b20fcf54ff7906b2952047ca6836ee01b08b3b9f13d8
test-bench-deps: {}
maintainer: puttamalac@gmail.com
synopsis: Unary natural numbers relying on the singletons infrastructure.
changelog: ''
basic-deps:
  base: ! '>=4.7 && <4.9'
  singletons: ! '>=2.0.1'
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'
author: András Kovács
latest: '0.4.0.0'
description-type: haddock
description: ''
license-name: BSD3

homepage: https://github.com/AndrasKovacs/singleton-nats
changelog-type: ''
hash: 052aef630805e1a63d8c4e43dc0d1e06d1b0b8bd7b62eabe9fd9ca10b771a11d
test-bench-deps: {}
maintainer: puttamalac@gmail.com
synopsis: Unary natural numbers relying on the singletons infrastructure.
changelog: ''
basic-deps:
  base: ! '>=4.8.1.0 && <4.9'
  singletons: ! '>=2.0.1'
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'
author: András Kovács
latest: '0.4.0.1'
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 2015-10-27T08:17:08+0000
Update from Hackage at 2015-10-27T08:17:08+0000
