ghcpkg(proof-combinators-0.1.0.0proof-combinators0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp 1da2eca010c6f43042e349a9b74250fc base-4.10.1.0 base-4.10.1.0 e7be07bfa4bb2c944e81ff3b2bb779a9ž/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-6pcdb9W0szV9kE6t7RqOJp2HSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpž/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-6pcdb9W0szV9kE6t7RqOJpm/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Œ/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.haddockr/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/doc/proof-combinators-0.1.0.0LiquidHaskell.ProofCombinatorsproof-combinators0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpnikivazou@gmail.com Niki Vazouhttp://nikivazou.github.io/