name: singleton-nats version: 0.4.0.3 synopsis: Unary natural numbers relying on the singletons infrastructure. description: Unary natural number relying on the infrastructure. More information about the general usage of singletons can be found on the 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 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.4 default-language: Haskell2010