-- every-bit-counts.cabal auto-generated by cabal init. For additional
-- options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
-- The name of the package.
Name:                every-bit-counts

-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version:             0.1

-- A short (one-line) description of the package.
Synopsis:            A functional pearl on encoding and decoding using question-and-answer strategies

Description:
                     A functional pearl on encoding and decoding using question-and-answer strategies

-- A longer description of the package.
-- Description:         

-- URL for the project homepage or repository.
Homepage:            http://research.microsoft.com/en-us/people/dimitris/pearl.pdf

-- The license under which the package is released.
License:             BSD3

-- The file containing the license text.
License-file:        LICENSE

-- The package author(s).
Author:              Dimitrios Vytiniotis and Andrew Kennedy

-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer:          dons@galois.com

-- A copyright notice.
-- Copyright:           

Category:            Data

Build-type:          Simple

-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:  

-- Constraint on the version of Cabal needed to build this package.
Cabal-version:       >=1.2


Library
  -- Modules exported by the library.
  Exposed-modules:     
    BadGames, 
    BasicGames, 
    FilterGames, 
    Games, 
    Huffman, 
    Iso, 
--    Main, 
    SetGames, 
    NatGames, 
    STLC, 
    UTLC,
    PGames
--    PBasicGames, 
--    PolyLet, 
--    PSTLC, 
--    PTLC, 

-- Packages needed in order to build this package.
  Build-depends: haskell98, base >= 3 && < 5

-- Modules not exported by this package.
-- Other-modules:       

-- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-- Build-tools: