name: natural-induction
version: 0.2.0.0
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: