ghcpkgZproof-combinators-0.1.0.0proof-combinators0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpinplace base-4.10.1.0 base-4.10.1.0 e7be07bfa4bb2c944e81ff3b2bb779a9V/Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build2HSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpV/Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/buildV/Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build…/Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/doc/html/proof-combinators/proof-combinators.haddockk/Users/niki/tmp/test/proof-combinators/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/doc/html/proof-combinatorsLiquidHaskell.ProofCombinatorsproof-combinators0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpnikivazou@gmail.com Niki Vazouhttp://nikivazou.github.io/