• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for proof-combinators-0.1.0.0 source tarball

proof-combinators-0.1.0.0/

• .gitignore
• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• proof-combinators.cabal
• stack.yaml
• .stack-work/
  • dist/
    • x86_64-osx/
      • Cabal-2.0.1.0/
        • setup-config
        • stack-build-cache
        • stack-cabal-mod
        • stack-config-cache
        • build/
          • libHSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp-ghc8.2.2.dylib
          • libHSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp.a
          • LiquidHaskell/
            • ProofCombinators.dyn_hi
            • ProofCombinators.dyn_o
            • ProofCombinators.hi
            • ProofCombinators.o
          • autogen/
            • Paths_proof_combinators.hs
            • cabal_macros.h
          • src/
            • LiquidHaskell/
              • ProofCombinators.dump-hi
        • package.conf.inplace/
          • package.cache
          • package.cache.lock
          • proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp.conf
  • install/
    • x86_64-osx/
      • lts-11.2/
        • 8.2.2/
          • doc/
            • proof-combinators-0.1.0.0/
              • LICENSE
          • flag-cache/
            • proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp
          • lib/
            • x86_64-osx-ghc-8.2.2/
              • libHSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp-ghc8.2.2.dylib
              • proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp/
                • libHSproof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp.a
                • LiquidHaskell/
                  • ProofCombinators.dyn_hi
                  • ProofCombinators.hi
          • pkgdb/
            • package.cache
            • package.cache.lock
            • proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp.conf
• examples/
  • Reverse.hs
  • .liquid/
    • Reverse.hs.bak
    • Reverse.hs.bspec
    • Reverse.hs.cst.html
    • Reverse.hs.err
    • Reverse.hs.html
    • Reverse.hs.json
    • Reverse.hs.smt2
    • Reverse.hs.vim.annot
    • liquid.css
• src/
  • LICENSE
  • LiquidHaskell/
    • Derivations.hs
    • ProofCombinators.hs