-- 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