-- Initial numericpeano.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                numericpeano
version:             0.2.0.0
synopsis:            Peano numbers with attendant bells and whistles.
description:         Value-level lazy Peano numbers for all your proof-theoretic
                     and infinity-related needs. The features are:

                     1) natural and integral numbers (N and Z);
                     2) lazy infinities; and
                     3) instances for all relevant typeclasses, meaning that
                       Peano arithmetic can be used in generic functions without
                       extra hassle.

                     The implementation is naive: a number of
                     magnitude n may consume O(n) bytes of memory.
homepage:            https://github.com/ombocomp/numericpeano/
license:             Apache-2.0
license-file:        LICENSE.md
author:              Janos Tapolczai
maintainer:          janos.tapolczai@gmail.com
-- copyright:
category:            Math
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

library
  exposed-modules:     Numeric.Peano
  -- other-modules:
  -- other-extensions:
  build-depends:       base >=4.7 && <=5.0
  -- hs-source-dirs:
  default-language:    Haskell2010