lazy-lambda-calculus: b0bb0fd6770d423d70327b5ec0b442fdfa4b9511

     1: cabal-version:       >=1.10
     2: name:                lazy-lambda-calculus
     3: version:             0.2.0.0
     4: synopsis:            Lazy, co-recursive lambda calculus
     5: homepage:            https://gitorious.org/lazy-lambda-calculus
     6: license:             PublicDomain
     7: license-file:        LICENSE
     8: author:              Chris Warburton
     9: maintainer:          chriswarbo@gmail.com
    10: category:            Language
    11: build-type:          Simple
    12: 
    13: library
    14:   default-language:    Haskell2010
    15:   exposed-modules:     Control.Monad.Partial
    16:                      , Data.Language.LC
    17:                      , Data.Language.LC.Self
    18:                      , Data.Language.LC.Self.Test
    19:                      , Data.Language.LC.Test
    20:                      , Data.Nat
    21:                      , Data.Test
    22:   build-depends:       base ==4.*
    23:                      , containers
    24:                      , deepseq
    25:                      , syb
    26:                      , template-haskell
    27:                      , lazysmallcheck2012
    28: 
    29: executable LC
    30:   default-language:    Haskell2010
    31:   hs-source-dirs:      lc
    32:   main-is:             Main.hs
    33:   build-depends:       base ==4.*
    34:                      , lazy-lambda-calculus
    35:                      , containers
    36:                      , lazysmallcheck2012
    37: 
    38: test-suite tests
    39:   default-language:    Haskell2010
    40:   type:                exitcode-stdio-1.0
    41:   hs-source-dirs:      tests
    42:   main-is:             Main.hs
    43:   build-depends:       base >= 4.7
    44:                      , QuickCheck
    45:                      , tasty >= 0.11.2.1
    46:                      , tasty-quickcheck
    47:                      , lazy-lambda-calculus