name:                singleton-nats
version:             0.4.0.4
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 == 8.0.1, GHC == 8.2.1, GHC == 8.4.1

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 && <5,
    singletons >= 2.2 && < 2.5

  default-language:    Haskell2010