2016-04-23 18:22:37 +02:00
|
|
|
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,
|
2016-11-28 21:13:32 +01:00
|
|
|
Data.Bool, Data.Nat, Data.Fin, Data.Integer
|
2016-04-23 18:22:37 +02:00
|
|
|
Data.Function, Data.Vec
|
|
|
|
|
other-extensions: GADTs, DataKinds, TypeFamilies, TypeOperators,
|
|
|
|
|
StandaloneDeriving, ScopedTypeVariables,
|
|
|
|
|
UndecidableInstances, NoImplicitPrelude,
|
|
|
|
|
TemplateHaskell, QuasiQuotes, PolyKinds,
|
2016-11-28 21:13:32 +01:00
|
|
|
UnicodeSyntax, RebindableSyntax
|
|
|
|
|
build-depends: base ==4.*, singletons, integer-gmp, ghc-prim
|
2016-04-23 18:22:37 +02:00
|
|
|
hs-source-dirs: src
|
|
|
|
|
default-language: Haskell2010
|
