name: g4ip-prover version: 2.0.0.0 synopsis: Theorem prover for intuitionistic propositional logic using G4ip description: Theorem prover for intuitionistic propositional logic using G4ip homepage: https://github.com/8084/g4ip-prover license: MIT license-file: LICENSE author: Josh Acay, Klntsky maintainer: klntsky@gmail.com category: Logic build-type: Simple extra-source-files: README.md, README-ru.md, static/proof-header.txt, static/proof-footer.txt, static/context-header.txt, static/context-footer.txt, g4ip.png, src/G4ipProver/Parser.y cabal-version: >=1.10 source-repository head type: git location: git://github.com/8084/g4ip-prover.git library build-depends: base >=4.9 && <5, array >= 0.5 && < 1.0, directory >= 1.0 && < 2.0, filepath >= 1.4 && < 2 exposed-modules: G4ipProver, G4ipProver.Parser, G4ipProver.Prover, G4ipProver.Proposition, G4ipProver.LaTeXExporter hs-source-dirs: src build-tool-depends: happy:happy default-language: Haskell2010 executable g4ip-prover main-is: Main.hs other-modules: G4ipProver, G4ipProver.Parser, G4ipProver.Prover, G4ipProver.Proposition, G4ipProver.LaTeXExporter build-depends: base >=4.9 && <5, array >= 0.5 && < 1.0, directory >= 1.0 && < 2.0, filepath >= 1.4 && < 2 build-tool-depends: happy:happy hs-source-dirs: src default-language: Haskell2010 test-suite test default-language: Haskell2010 ghc-options: -Wall type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Main.hs build-depends: g4ip-prover, base