name: proof-combinators
version: 0.1.0.0
id: proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp
key: proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp
license: MIT
maintainer: nikivazou@gmail.com
homepage: http://nikivazou.github.io/
synopsis: Proof Combinators used in Liquid Haskell for Theorem Proving
category: Theorem Proving
author: Niki Vazou
exposed: True
indefinite: False
exposed-modules:
    LiquidHaskell.ProofCombinators
abi: inplace
trusted: False
import-dirs: /Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build
library-dirs: /Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build
dynamic-library-dirs: /Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build
data-dir: /Users/niki/tmp/test/proof-combinators
hs-libraries: HSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp
depends:
    base-4.10.1.0
abi-depends: base-4.10.1.0=e7be07bfa4bb2c944e81ff3b2bb779a9
haddock-interfaces: /Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/doc/html/proof-combinators/proof-combinators.haddock
haddock-html: /Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/doc/html/proof-combinators