-- Initial TypeNat.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ name: TypeNat version: 0.5.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 , RankNTypes , MultiParamTypeClasses , FlexibleInstances , FlexibleContexts , ScopedTypeVariables , IncoherentInstances , ConstraintKinds , TypeFamilies , KindSignatures build-depends: base >=4.7 && < 4.11 -- hs-source-dirs: default-language: Haskell2010