TypeNat-0.1.0.0: TypeNat.cabal

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

name:                TypeNat
version:             0.1.0.0
synopsis:            Some Nat-indexed types for GHC
-- description:         
homepage:            https://github.com/avieth/TypeNat
license:             MIT
license-file:        LICENSE
author:              Alexander Vieth
maintainer:          aovieth@gmail.com
-- copyright:           
category:            Data
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Data.TypeNat.Fin, Data.TypeNat.Nat, Data.TypeNat.Vect
  -- other-modules:       
  other-extensions:    DataKinds, KindSignatures, GADTs, Rank2Types
  build-depends:       base >=4.7 && <4.8
  -- hs-source-dirs:      
  default-language:    Haskell2010