name:                singleton-typelits
version:             0.0.0.0
synopsis:            Singletons and induction over GHC TypeLits
description:         Singletons and induction schemes over 'GHC.TypeLits.Nat'
homepage:            https://github.com/mniip/singleton-typelits
license:             BSD3
license-file:        LICENSE
author:              mniip
maintainer:          mniip@mniip.com
category:            Data
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     GHC.TypeLits.Singletons, GHC.TypeLits.Induction
  build-depends:       base >=4.9 && <4.11
  default-language:    Haskell2010