library
exposed-modules: Lambda
- build-depends: base >=4.7 && <4.8
+ Lambda.Term
+ Lambda.Parser.Fancy
+ Lambda.Parser.Simple
+ HM
+ HM.Term
+ HM.Parser
+ HM.Lambda
+ build-depends: base >=4.7 && <5
, text >=1.2 && <1.3
, attoparsec >=0.12 && <0.13
, containers
hs-source-dirs: src
default-language: Haskell2010
-executable fp
+executable fp-interpret
main-is: Main.hs
- other-modules: Lambda
- -- other-extensions:
- build-depends: base >=4.7 && <4.8
+ build-depends: base >=4.7 && <5
, text >=1.2 && <1.3
, attoparsec >=0.12 && <0.13
, containers
, mtl
+ , fp
hs-source-dirs: src
default-language: Haskell2010
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
- , doctest >= 0.8
- , QuickCheck >= 2.7
, text >=1.2 && <1.3
, attoparsec >=0.12 && <0.13
, containers
+ , mtl
+ , fp
+ , doctest >= 0.8
+ , QuickCheck >= 2.7
default-language: Haskell2010