rnhmjoj/interlude
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove unused fields

Browse Source
This commit is contained in:
rnhmjoj 2016-04-24 13:54:08 +02:00
parent c7508bc57e
commit 544b999f13
No known key found for this signature in database
GPG Key ID: 362BB82B7E496B7C
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Interlude.cabal
View File

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