28 lines
1.0 KiB
Plaintext
28 lines
1.0 KiB
Plaintext
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
|
|
-- 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,
|
|
TemplateHaskell, QuasiQuotes, PolyKinds,
|
|
UnicodeSyntax
|
|
build-depends: base ==4.*, singletons, integer-gmp
|
|
hs-source-dirs: src
|
|
default-language: Haskell2010
|