library
exposed-modules: Lambda
- other-modules: Lambda.Term
Lambda.Parser.Fancy
+ other-modules: Lambda.Term
build-depends: base >=4.7 && <4.8
, text >=1.2 && <1.3
, attoparsec >=0.12 && <0.13
test-suite doctests
type: exitcode-stdio-1.0
hs-source-dirs: tests
- ghc-options: -threaded
main-is: doctest.hs
+ ghc-options: -threaded
build-depends: base
+ , text >=1.2 && <1.3
+ , attoparsec >=0.12 && <0.13
+ , containers
+ , mtl
+ , fp
, doctest >= 0.8
, QuickCheck >= 2.7
default-language: Haskell2010