diff --git a/Interlude.cabal b/Interlude.cabal index e19ccd6..9881c27 100644 --- a/Interlude.cabal +++ b/Interlude.cabal @@ -9,14 +9,12 @@ maintainer: micheleguerinirocco@me.com copyright: © Michele Guerini Rocco category: Math build-type: Simple --- extra-source-files: cabal-version: >=1.10 library exposed-modules: Relation.Equality, Data.TypeClass, Data.Bool, Data.Nat, Data.Integer Data.Function, Data.Vec - -- other-modules: other-extensions: GADTs, DataKinds, TypeFamilies, TypeOperators, StandaloneDeriving, ScopedTypeVariables, UndecidableInstances, NoImplicitPrelude,