1 author: Julien Moutinho <julm+hcompta@autogeree.net>
2 bug-reports: http://doc.autogeree.net/hcompta/bugs
8 description: Accounting calculus.
9 extra-source-files: Test.hs
11 homepage: http://doc.autogeree.net/coop/hcompta
14 maintainer: Julien Moutinho <julm+hcompta@autogeree.net>
15 name: hcompta-calculus
16 stability: experimental
17 synopsis: Accounting calculus based upon a typed lambda-calculus.
18 tested-with: GHC==7.8.4
21 source-repository head
22 location: git://git.autogeree.net/hcompta
27 Description: Turn on development settings.
31 Description: Dump some intermediate files.
35 Description: Build only executable.
39 Description: Build only library.
44 Description: Turn on profiling settings.
48 Description: Enable threads.
52 extensions: NoImplicitPrelude
53 ghc-options: -Wall -fno-warn-tabs
55 cpp-options: -DDEVELOPMENT
58 -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
59 -- -fno-warn-type-defaults -fno-warn-orphans
63 ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
67 cpp-options: -DPROFILING
68 ghc-options: -O2 -fprof-auto
69 -- default-language: Haskell2010
71 Calculus.Abstraction.DeBruijn.Generalized
72 Calculus.Lambda.Omega.Explicit
73 Calculus.Lambda.Omega.Explicit.Read
74 Calculus.Lambda.Omega.Implicit
75 Control.Monad.Classes.EffectsFix
76 Control.Monad.Classes.StateFix
77 Control.Monad.Classes.Instance
78 Control.Monad.Classes.StateInstance
82 , containers >= 0.5 && < 0.6
83 , deepseq >= 1.4 && < 1.5
88 , monad-classes >= 0.3.1.1
89 , parsec >= 3.1.2 && < 4
94 , test-framework-hunit
98 , transformers >= 0.4 && < 0.5
100 Executable hcompta-calculus-explicit
101 extensions: NoImplicitPrelude
102 ghc-options: -Wall -fno-warn-tabs
103 -main-is Calculus.Lambda.Omega.Explicit.REPL
105 ghc-options: -threaded -rtsopts -with-rtsopts=-N
107 cpp-options: -DDEVELOPMENT
112 cpp-options: -DPROFILING
113 ghc-options: -fprof-auto
117 main-is: Calculus/Lambda/Omega/Explicit/REPL.hs
121 , ansi-terminal >= 0.4 && < 0.7
123 , containers >= 0.5 && < 0.6
128 , haskeline >= 0.7 && < 0.8
137 , transformers >= 0.4 && < 0.5