name:                natural-induction
version:             0.2.0.0
x-revision: 1
synopsis:            Induction over natural numbers
-- description:         
license:             BSD3
license-file:        LICENSE
author:              M Farkas-Dyck
maintainer:          strake888@gmail.com
-- copyright:           
category:            Math
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Data.Natural.Class
  -- other-modules:       
  build-depends:       base >=4.9 && <5
                     , peano >=0.1 && <0.2
  -- hs-source-dirs:      
  default-language:    Haskell2010
  default-extensions:  UnicodeSyntax
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
                     , PolyKinds
                     , DataKinds
  -- other-extensions:    

source-repository head
  type:     git
  location: https://github.com/strake/natural-induction.hs