kuifje-0.1.2.0: kuifje.cabal

-- Initial kuifje.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                kuifje
version:             0.1.2.0
synopsis:            A Quantitative Information Flow aware programming language.
description:         A prototype for a Quantitative Information Flow aware programming language.

                     Based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.
-- description:
license:             BSD3
license-file:        LICENSE
author:              Marton Bognar
maintainer:          marton.bognar@student.kuleuven.be
homepage:            https://github.com/martonbognar/kuifje
-- copyright:
category:            Language
build-type:          Simple
extra-source-files:  ChangeLog.md, README.md
cabal-version:       >=1.10
-- repository:
source-repository head
  type:     git
  location: git://github.com/martonbognar/kuifje.git

library
  exposed-modules:     Language.Kuifje.Distribution, Language.Kuifje.PrettyPrint, Language.Kuifje.Semantics, Language.Kuifje.Syntax
  --other-modules:
  other-extensions:    TemplateHaskell, ExistentialQuantification, TypeOperators, TypeSynonymInstances, FlexibleInstances
  build-depends:       base >=4.9 && < 4.13, lens >=4.17 && < 4.18, boxes >=0.1 && < 0.2, containers >=0.5 && < 0.7
  hs-source-dirs:      src
  default-language:    Haskell2010