name:                Interlude
version:             0.1.0.0
synopsis:            My take on Prelude
description:         My take on Prelude
license:             GPL-3
license-file:        LICENSE
author:              rnhmjoj
maintainer:          micheleguerinirocco@me.com
copyright:           © Michele Guerini Rocco
category:            Math
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Relation.Equality, Data.TypeClass,
                       Data.Bool, Data.Nat, Data.Fin, Data.Integer
                       Data.Function, Data.Vec
  other-extensions:    GADTs, DataKinds, TypeFamilies, TypeOperators,
                       StandaloneDeriving, ScopedTypeVariables,
                       UndecidableInstances, NoImplicitPrelude,
                       TemplateHaskell, QuasiQuotes, PolyKinds,
                       UnicodeSyntax, RebindableSyntax
  build-depends:       base ==4.*, singletons, integer-gmp, ghc-prim
  hs-source-dirs:      src
  default-language:    Haskell2010