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: 1da2eca010c6f43042e349a9b74250fc
trusted: False
import-dirs: /Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/lib/x86_64-osx-ghc-8.2.2/proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp
library-dirs: /Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/lib/x86_64-osx-ghc-8.2.2/proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp
dynamic-library-dirs: /Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/lib/x86_64-osx-ghc-8.2.2
data-dir: /Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/share/x86_64-osx-ghc-8.2.2/proof-combinators-0.1.0.0
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/install/x86_64-osx/lts-11.2/8.2.2/doc/proof-combinators-0.1.0.0/proof-combinators.haddock
haddock-html: /Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/doc/proof-combinators-0.1.0.0