name:                singleton-nats
version:             0.4.0.1
synopsis:            Unary natural numbers relying on the singletons infrastructure.
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.                           
category:            Data, Dependent Types
homepage:            https://github.com/AndrasKovacs/singleton-nats
bug-reports:         https://github.com/AndrasKovacs/singleton-nats/issues
license:             BSD3
license-file:        LICENSE
author:              András Kovács
maintainer:          puttamalac@gmail.com
copyright:           2015 András Kovács

build-type:          Simple
cabal-version:       >=1.10
tested-with:         GHC == 7.10.2

source-repository head
  type: git
  location: https://github.com/AndrasKovacs/singleton-nats.git

library
  exposed-modules:
    Data.Nat

  build-depends:
    base >=4.8.1.0 && <4.9,
    singletons >= 2.0.1

  default-language:    Haskell2010