Saved package config for proof-combinators-0.1.0.0 written by Cabal-2.0.1.0 using ghc-8.2 ghc8/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/bin/ghcghc-pkg-XPostfixOperators>-XNoPostfixOperators? -XQuasiQuotes?-XNoQuasiQuotes -XRank2Types -XNoRank2Types -XRankNTypes -XNoRankNTypesK-XRebindableSyntaxK-XNoRebindableSyntax,-XRecordPuns,-XNoRecordPuns+-XRecordWildCards+-XNoRecordWildCards -XRecursiveDo-XNoRecursiveDo RelaxedLayout-XRelaxedLayoutNoRelaxedLayout-XNoRelaxedLayout3-XRelaxedPolyRec3-XNoRelaxedPolyRec[-XRoleAnnotations[-XNoRoleAnnotations -XScopedTypeVariables -XNoScopedTypeVariables$-XStandaloneDeriving$-XNoStandaloneDerivingk-XStaticPointersk-XNoStaticPointersm-XStrictm -XNoStrictl-XStrictDatal-XNoStrictData-XTemplateHaskell-XNoTemplateHaskellt-XTemplateHaskellQuotest-XNoTemplateHaskellQuotes.-XTraditionalRecordSyntax.-XNoTraditionalRecordSyntax@-XTransformListComp@-XNoTransformListCompE-XTupleSectionsE-XNoTupleSectionsp-XTypeApplicationsp-XNoTypeApplicationsq-XTypeInTypeq-XNoTypeInType#-XTypeFamilies#-XNoTypeFamilies*-XTypeOperators*-XNoTypeOperators-XTypeSynonymInstances-XNoTypeSynonymInstances5-XUnboxedTuples5-XNoUnboxedTuplesUnboxedSums -XUnboxedSums NoUnboxedSums-XNoUnboxedSums-XUndecidableInstances-XNoUndecidableInstancesr-XUndecidableSuperClassesr-XNoUndecidableSuperClasses%-XUnicodeSyntax%-XNoUnicodeSyntax&-XUnliftedFFITypes&-XNoUnliftedFFITypesB-XViewPatternsB-XNoViewPatterns>Booter version7.10.3Build platformx86_64-apple-darwinC compiler commandgccC compiler flags -m64 -fno-stack-protectorC compiler link flags -m64 C compiler supports -no-pieNODebug onFalseDynamic by defaultNOGCC extra via C opts -fwrapv -fno-builtinGHC DynamicYESGHC ProfiledNOGlobal Package DBM/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/package.conf.dHaskell CPP commandgccHaskell CPP flagsH-E -undef -traditional -Wno-invalid-pp-token -Wno-unicode -Wno-trigraphsHave interpreterYESHave native code generatorYES Host platformx86_64-apple-darwinLLVM llc commandllcLLVM opt commandoptLeading underscoreYESLibDir>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2Object splitting supportedNOProject Git commit id(0156a3d815b784510a980621fdcb9c5b23826f1eProject name/The Glorious Glasgow Haskell Compilation SystemProject version8.2.2RTS expects libdwNORTS waysUl debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn l_dyn thr_l_dyn&Requires unified installed package IDsYESStage2Support BackpackYESSupport SMPYESSupport dynamic-tooYESSupport parallel --makeYESSupport reexported-modulesYES+Support thinning and renaming package flagsYESTables next to codeYESTarget platformx86_64-apple-darwinUnregisterisedNOUses package keysYES Uses unit IDsYES ar command/usr/bin/arar flagsclqsar supports at fileNOcross compilingNOdllwrap command /bin/false ld commandldld flags -arch x86_64ld is GNU ldNOld supports build-idNOld supports compact unwindYESld supports filelistYESlibtool commandlibtoolperl command /usr/bin/perltarget arch ArchX86_64target has .ident directiveTruetarget has GNU nonexec stackFalsetarget has RTS linker@HaskellHaveRTSLinker@"target has subsections via symbolsTrue target osOSDarwintarget word size8 touch commandtouchwindres command /bin/false/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp base-4.10.1.0base base-4.10.1.00proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpproof-combinators LiquidHaskellProofCombinators0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp0proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp base-4.10.1.0base base-4.10.1.00proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJpproof-combinators LiquidHaskellProofCombinators base-4.10.1.0base base-4.10.1.0 base-4.10.1.0libraries@haskell.orgBasic libraries¶This package contains the "Prelude" and its support libraries, and a large collection of useful libraries ranging from data structures to parsing combinators and debugging utilities.Prelude e7be07bfa4bb2c944e81ff3b2bb779a9ËControlApplicativeControlArrowControlCategoryControl ConcurrentControl ConcurrentChanControl ConcurrentMVarControl ConcurrentQSemControl ConcurrentQSemNControl ExceptionControl ExceptionBaseControlMonadControlMonadFailControlMonadFixControlMonadIOClassControlMonad InstancesControlMonadSTControlMonadSTLazyControlMonadSTLazySafeControlMonadSTLazyUnsafeControlMonadSTSafeControlMonadSTStrictControlMonadSTUnsafeControlMonadZipData BifoldableData BifunctorData BitraversableDataBitsDataBoolDataCharDataCoerceDataComplexDataDataDataDynamicDataEitherDataEqDataFixedDataFoldableDataFunctionDataFunctorDataFunctorClassesDataFunctorComposeDataFunctorConstDataFunctorIdentityDataFunctorProductDataFunctorSumDataIORefDataIntDataIxDataKindDataListDataListNonEmptyDataMaybeDataMonoidDataOrdDataProxyDataRatioDataSTRefDataSTRefLazyDataSTRefStrictData SemigroupDataStringDataTraversableDataTupleDataTypeBoolDataTypeCoercionDataTypeEqualityDataTypeableDataUniqueDataVersionDataVoidDataWordDebugTraceForeignForeignCForeignCErrorForeignCStringForeignCTypesForeign ConcurrentForeign ForeignPtrForeign ForeignPtrSafeForeign ForeignPtrUnsafeForeignMarshalForeignMarshalAllocForeignMarshalArrayForeignMarshalErrorForeignMarshalPoolForeignMarshalSafeForeignMarshalUnsafeForeignMarshalUtilsForeignPtrForeignSafeForeign StablePtrForeignStorableGHCArrGHCBaseGHCCharGHCConcGHCConcIOGHCConcSignalGHCConcSyncGHCConsoleHandlerGHC ConstantsGHCDesugarGHCEnumGHCEnvironmentGHCErrGHCEventGHC ExceptionGHCExecutionStackGHCExecutionStackInternalGHCExtsGHCFingerprintGHCFingerprintTypeGHCFloatGHCFloatConversionUtilsGHCFloatRealFracMethodsGHCForeignGHC ForeignPtrGHCGHCiGHCGenericsGHCIOGHCIOBufferGHCIO BufferedIOGHCIODeviceGHCIOEncodingGHCIOEncodingCodePageGHCIOEncodingFailureGHCIOEncodingIconvGHCIOEncodingLatin1GHCIOEncodingTypesGHCIOEncodingUTF16GHCIOEncodingUTF32GHCIOEncodingUTF8GHCIO ExceptionGHCIOFDGHCIOHandleGHCIOHandleFDGHCIOHandle InternalsGHCIOHandleLockGHCIOHandleTextGHCIOHandleTypesGHCIOIOModeGHCIOUnsafeGHCIOArrayGHCIORefGHCIntGHCListGHCMVarGHCNaturalGHCNumGHCOldListGHCOverloadedLabelsGHCPArrGHCPackGHC ProfilingGHCPtrGHCRTSFlagsGHCReadGHCRealGHCRecordsGHCSTGHCSTRefGHCShowGHCStableGHCStackGHCStackCCSGHCStackTypesGHC StaticPtrGHCStatsGHCStorableGHC TopHandlerGHCTypeLitsGHCTypeNatsGHCUnicodeGHCWeakGHCWordNumericNumericNaturalPreludeSystemCPUTimeSystemConsoleGetOptSystemEnvironmentSystemExitSystemIOSystemIOErrorSystemIOUnsafeSystemInfoSystemMemSystemMem StableNameSystemMemWeakSystemPosix InternalsSystemPosixTypesSystemTimeoutTextParserCombinatorsReadPTextParserCombinatorsReadPrecTextPrintfTextReadTextReadLexTextShowTextShow FunctionsType ReflectionType ReflectionUnsafeUnsafeCoerceControlMonadSTImpControlMonadSTLazyImpDataFunctorUtilsDataOldListDataTypeableInternalForeign ForeignPtrImpGHC StaticPtrInternalSystemEnvironmentExecutablePathSystemCPUTimeUtilsGHCEventArrGHCEventArrayGHCEventClockGHCEventControlGHCEventEPollGHCEventIntTableGHCEventInternalGHCEventKQueueGHCEventManagerGHCEventPSQGHCEventPollGHCEventThreadGHCEventTimerManagerGHCEventUniqueSystemCPUTimePosixClockGetTimeSystemCPUTimePosixTimesSystemCPUTimePosixRUsageSystemCPUTimeUnsupportedL/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0L/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0L/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0Y/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/x86_64-osx-ghc-8.2.2/base-4.10.1.0HSbase-4.10.1.0iconvT/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0/includeHsBase.hrtsghc-prim-0.5.1.1integer-gmp-1.0.1.0rtsghc-prim-0.5.1.1 c8f3d173544d1472727fce7b0518abdainteger-gmp-1.0.1.0 9c3d9ccbdd7bdea277cdecf74e14db2bn/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/base-4.10.1.0/base.haddocka/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/base-4.10.1.0>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2ghc-prim-0.5.1.1ghc-primghc-prim-0.5.1.1ghc-prim-0.5.1.1libraries@haskell.orgGHC primitivesIThis package contains the primitive types and operations supplied by GHC.GHC c8f3d173544d1472727fce7b0518abda GHCCStringGHCClassesGHCDebugGHC IntWord64GHCMagicGHCPrimGHCPrimopWrappersGHCTupleGHCTypesO/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/ghc-prim-0.5.1.1O/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/ghc-prim-0.5.1.1O/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/ghc-prim-0.5.1.1\/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/x86_64-osx-ghc-8.2.2/ghc-prim-0.5.1.1HSghc-prim-0.5.1.1rtsrtsu/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/ghc-prim-0.5.1.1/ghc-prim.haddockd/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/ghc-prim-0.5.1.1>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2integer-gmp-1.0.1.0integer-gmpinteger-gmp-1.0.1.0integer-gmp-1.0.1.0hvr@gnu.orgHerbert Valerio RiedelInteger library based on GMPNumeric, Algebra 9c3d9ccbdd7bdea277cdecf74e14db2bGHCIntegerGHCIntegerGMP InternalsGHCInteger LogarithmsGHCInteger Logarithms InternalsGHCIntegerTypeR/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0R/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0R/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0_/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/x86_64-osx-ghc-8.2.2/integer-gmp-1.0.1.0HSinteger-gmp-1.0.1.0Z/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0/includeghc-prim-0.5.1.1ghc-prim-0.5.1.1 c8f3d173544d1472727fce7b0518abda{/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/integer-gmp-1.0.1.0/integer-gmp.haddockg/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/integer-gmp-1.0.1.0>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2rtsrtsrtsrts!glasgow-haskell-users@haskell.orgB/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/rtsHSrtsCffimdlF/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/includeStg.hM$-Wl,-u,_base_GHCziInt_I16zh_con_info$-Wl,-u,_base_GHCziInt_I32zh_con_info$-Wl,-u,_base_GHCziInt_I64zh_con_info#-Wl,-u,_base_GHCziInt_I8zh_con_info%-Wl,-u,_base_GHCziPtr_FunPtr_con_info"-Wl,-u,_base_GHCziPtr_Ptr_con_info+-Wl,-u,_base_GHCziStable_StablePtr_con_info%-Wl,-u,_base_GHCziWord_W16zh_con_info%-Wl,-u,_base_GHCziWord_W32zh_con_info%-Wl,-u,_base_GHCziWord_W64zh_con_info$-Wl,-u,_base_GHCziWord_W8zh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Czh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Dzh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Fzh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Izh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Wzh_con_info(-Wl,-u,_ghczmprim_GHCziTuple_Z0T_closure*-Wl,-u,_ghczmprim_GHCziTypes_False_closure)-Wl,-u,_ghczmprim_GHCziTypes_True_closure,-Wl,-u,_base_GHCziPack_unpackCString_closure5-Wl,-u,_base_GHCziIOziException_stackOverflow_closure4-Wl,-u,_base_GHCziIOziException_heapOverflow_closure<-Wl,-u,_base_ControlziExceptionziBase_nonTermination_closureA-Wl,-u,_base_GHCziIOziException_blockedIndefinitelyOnMVar_closure@-Wl,-u,_base_GHCziIOziException_blockedIndefinitelyOnSTM_closure?-Wl,-u,_base_GHCziIOziException_allocationLimitExceeded_closure=-Wl,-u,_base_GHCziIOziException_cannotCompactFunction_closure;-Wl,-u,_base_GHCziIOziException_cannotCompactPinned_closure<-Wl,-u,_base_GHCziIOziException_cannotCompactMutable_closure>-Wl,-u,_base_ControlziExceptionziBase_nestedAtomically_closure6-Wl,-u,_base_GHCziEventziThread_blockedOnBadFD_closure1-Wl,-u,_base_GHCziWeak_runFinalizzerBatch_closure4-Wl,-u,_base_GHCziTopHandler_flushStdHandles_closure*-Wl,-u,_base_GHCziTopHandler_runIO_closure--Wl,-u,_base_GHCziTopHandler_runNonIO_closure.-Wl,-u,_base_GHCziTopHandler_runMainIO_closure;-Wl,-u,_base_GHCziConcziIO_ensureIOManagerIsRunning_closure?-Wl,-u,_base_GHCziConcziIO_ioManagerCapabilitiesChanged_closure.-Wl,-u,_base_GHCziConcziSync_runSparks_closure5-Wl,-u,_base_GHCziConcziSignal_runHandlersPtr_closure-Wl,-u,_hs_atomic_add8-Wl,-u,_hs_atomic_add16-Wl,-u,_hs_atomic_add32-Wl,-u,_hs_atomic_add64-Wl,-u,_hs_atomic_sub8-Wl,-u,_hs_atomic_sub16-Wl,-u,_hs_atomic_sub32-Wl,-u,_hs_atomic_sub64-Wl,-u,_hs_atomic_and8-Wl,-u,_hs_atomic_and16-Wl,-u,_hs_atomic_and32-Wl,-u,_hs_atomic_and64-Wl,-u,_hs_atomic_nand8-Wl,-u,_hs_atomic_nand16-Wl,-u,_hs_atomic_nand32-Wl,-u,_hs_atomic_nand64-Wl,-u,_hs_atomic_or8-Wl,-u,_hs_atomic_or16-Wl,-u,_hs_atomic_or32-Wl,-u,_hs_atomic_or64-Wl,-u,_hs_atomic_xor8-Wl,-u,_hs_atomic_xor16-Wl,-u,_hs_atomic_xor32-Wl,-u,_hs_atomic_xor64-Wl,-u,_hs_cmpxchg8-Wl,-u,_hs_cmpxchg16-Wl,-u,_hs_cmpxchg32-Wl,-u,_hs_cmpxchg64-Wl,-u,_hs_atomicread8-Wl,-u,_hs_atomicread16-Wl,-u,_hs_atomicread32-Wl,-u,_hs_atomicread64-Wl,-u,_hs_atomicwrite8-Wl,-u,_hs_atomicwrite16-Wl,-u,_hs_atomicwrite32-Wl,-u,_hs_atomicwrite64-Wl,-search_paths_first>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2basebase base-4.10.1.0 base-4.10.1.0libraries@haskell.orgBasic libraries¶This package contains the "Prelude" and its support libraries, and a large collection of useful libraries ranging from data structures to parsing combinators and debugging utilities.Prelude e7be07bfa4bb2c944e81ff3b2bb779a9ËControlApplicativeControlArrowControlCategoryControl ConcurrentControl ConcurrentChanControl ConcurrentMVarControl ConcurrentQSemControl ConcurrentQSemNControl ExceptionControl ExceptionBaseControlMonadControlMonadFailControlMonadFixControlMonadIOClassControlMonad InstancesControlMonadSTControlMonadSTLazyControlMonadSTLazySafeControlMonadSTLazyUnsafeControlMonadSTSafeControlMonadSTStrictControlMonadSTUnsafeControlMonadZipData BifoldableData BifunctorData BitraversableDataBitsDataBoolDataCharDataCoerceDataComplexDataDataDataDynamicDataEitherDataEqDataFixedDataFoldableDataFunctionDataFunctorDataFunctorClassesDataFunctorComposeDataFunctorConstDataFunctorIdentityDataFunctorProductDataFunctorSumDataIORefDataIntDataIxDataKindDataListDataListNonEmptyDataMaybeDataMonoidDataOrdDataProxyDataRatioDataSTRefDataSTRefLazyDataSTRefStrictData SemigroupDataStringDataTraversableDataTupleDataTypeBoolDataTypeCoercionDataTypeEqualityDataTypeableDataUniqueDataVersionDataVoidDataWordDebugTraceForeignForeignCForeignCErrorForeignCStringForeignCTypesForeign ConcurrentForeign ForeignPtrForeign ForeignPtrSafeForeign ForeignPtrUnsafeForeignMarshalForeignMarshalAllocForeignMarshalArrayForeignMarshalErrorForeignMarshalPoolForeignMarshalSafeForeignMarshalUnsafeForeignMarshalUtilsForeignPtrForeignSafeForeign StablePtrForeignStorableGHCArrGHCBaseGHCCharGHCConcGHCConcIOGHCConcSignalGHCConcSyncGHCConsoleHandlerGHC ConstantsGHCDesugarGHCEnumGHCEnvironmentGHCErrGHCEventGHC ExceptionGHCExecutionStackGHCExecutionStackInternalGHCExtsGHCFingerprintGHCFingerprintTypeGHCFloatGHCFloatConversionUtilsGHCFloatRealFracMethodsGHCForeignGHC ForeignPtrGHCGHCiGHCGenericsGHCIOGHCIOBufferGHCIO BufferedIOGHCIODeviceGHCIOEncodingGHCIOEncodingCodePageGHCIOEncodingFailureGHCIOEncodingIconvGHCIOEncodingLatin1GHCIOEncodingTypesGHCIOEncodingUTF16GHCIOEncodingUTF32GHCIOEncodingUTF8GHCIO ExceptionGHCIOFDGHCIOHandleGHCIOHandleFDGHCIOHandle InternalsGHCIOHandleLockGHCIOHandleTextGHCIOHandleTypesGHCIOIOModeGHCIOUnsafeGHCIOArrayGHCIORefGHCIntGHCListGHCMVarGHCNaturalGHCNumGHCOldListGHCOverloadedLabelsGHCPArrGHCPackGHC ProfilingGHCPtrGHCRTSFlagsGHCReadGHCRealGHCRecordsGHCSTGHCSTRefGHCShowGHCStableGHCStackGHCStackCCSGHCStackTypesGHC StaticPtrGHCStatsGHCStorableGHC TopHandlerGHCTypeLitsGHCTypeNatsGHCUnicodeGHCWeakGHCWordNumericNumericNaturalPreludeSystemCPUTimeSystemConsoleGetOptSystemEnvironmentSystemExitSystemIOSystemIOErrorSystemIOUnsafeSystemInfoSystemMemSystemMem StableNameSystemMemWeakSystemPosix InternalsSystemPosixTypesSystemTimeoutTextParserCombinatorsReadPTextParserCombinatorsReadPrecTextPrintfTextReadTextReadLexTextShowTextShow FunctionsType ReflectionType ReflectionUnsafeUnsafeCoerceControlMonadSTImpControlMonadSTLazyImpDataFunctorUtilsDataOldListDataTypeableInternalForeign ForeignPtrImpGHC StaticPtrInternalSystemEnvironmentExecutablePathSystemCPUTimeUtilsGHCEventArrGHCEventArrayGHCEventClockGHCEventControlGHCEventEPollGHCEventIntTableGHCEventInternalGHCEventKQueueGHCEventManagerGHCEventPSQGHCEventPollGHCEventThreadGHCEventTimerManagerGHCEventUniqueSystemCPUTimePosixClockGetTimeSystemCPUTimePosixTimesSystemCPUTimePosixRUsageSystemCPUTimeUnsupportedL/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0L/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0L/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0Y/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/x86_64-osx-ghc-8.2.2/base-4.10.1.0HSbase-4.10.1.0iconvT/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/base-4.10.1.0/includeHsBase.hrtsghc-prim-0.5.1.1integer-gmp-1.0.1.0rtsghc-prim-0.5.1.1 c8f3d173544d1472727fce7b0518abdainteger-gmp-1.0.1.0 9c3d9ccbdd7bdea277cdecf74e14db2bn/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/base-4.10.1.0/base.haddocka/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/base-4.10.1.0>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2ghc-primghc-primghc-prim-0.5.1.1ghc-prim-0.5.1.1libraries@haskell.orgGHC primitivesIThis package contains the primitive types and operations supplied by GHC.GHC c8f3d173544d1472727fce7b0518abda GHCCStringGHCClassesGHCDebugGHC IntWord64GHCMagicGHCPrimGHCPrimopWrappersGHCTupleGHCTypesO/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/ghc-prim-0.5.1.1O/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/ghc-prim-0.5.1.1O/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/ghc-prim-0.5.1.1\/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/x86_64-osx-ghc-8.2.2/ghc-prim-0.5.1.1HSghc-prim-0.5.1.1rtsrtsu/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/ghc-prim-0.5.1.1/ghc-prim.haddockd/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/ghc-prim-0.5.1.1>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2integer-gmpinteger-gmpinteger-gmp-1.0.1.0integer-gmp-1.0.1.0hvr@gnu.orgHerbert Valerio RiedelInteger library based on GMPNumeric, Algebra 9c3d9ccbdd7bdea277cdecf74e14db2bGHCIntegerGHCIntegerGMP InternalsGHCInteger LogarithmsGHCInteger Logarithms InternalsGHCIntegerTypeR/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0R/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0R/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0_/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/x86_64-osx-ghc-8.2.2/integer-gmp-1.0.1.0HSinteger-gmp-1.0.1.0Z/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/integer-gmp-1.0.1.0/includeghc-prim-0.5.1.1ghc-prim-0.5.1.1 c8f3d173544d1472727fce7b0518abda{/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/integer-gmp-1.0.1.0/integer-gmp.haddockg/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/share/doc/ghc-8.2.2/html/libraries/integer-gmp-1.0.1.0>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2rtsrtsrtsrts!glasgow-haskell-users@haskell.orgB/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/rtsHSrtsCffimdlF/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2/includeStg.hM$-Wl,-u,_base_GHCziInt_I16zh_con_info$-Wl,-u,_base_GHCziInt_I32zh_con_info$-Wl,-u,_base_GHCziInt_I64zh_con_info#-Wl,-u,_base_GHCziInt_I8zh_con_info%-Wl,-u,_base_GHCziPtr_FunPtr_con_info"-Wl,-u,_base_GHCziPtr_Ptr_con_info+-Wl,-u,_base_GHCziStable_StablePtr_con_info%-Wl,-u,_base_GHCziWord_W16zh_con_info%-Wl,-u,_base_GHCziWord_W32zh_con_info%-Wl,-u,_base_GHCziWord_W64zh_con_info$-Wl,-u,_base_GHCziWord_W8zh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Czh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Dzh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Fzh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Izh_con_info)-Wl,-u,_ghczmprim_GHCziTypes_Wzh_con_info(-Wl,-u,_ghczmprim_GHCziTuple_Z0T_closure*-Wl,-u,_ghczmprim_GHCziTypes_False_closure)-Wl,-u,_ghczmprim_GHCziTypes_True_closure,-Wl,-u,_base_GHCziPack_unpackCString_closure5-Wl,-u,_base_GHCziIOziException_stackOverflow_closure4-Wl,-u,_base_GHCziIOziException_heapOverflow_closure<-Wl,-u,_base_ControlziExceptionziBase_nonTermination_closureA-Wl,-u,_base_GHCziIOziException_blockedIndefinitelyOnMVar_closure@-Wl,-u,_base_GHCziIOziException_blockedIndefinitelyOnSTM_closure?-Wl,-u,_base_GHCziIOziException_allocationLimitExceeded_closure=-Wl,-u,_base_GHCziIOziException_cannotCompactFunction_closure;-Wl,-u,_base_GHCziIOziException_cannotCompactPinned_closure<-Wl,-u,_base_GHCziIOziException_cannotCompactMutable_closure>-Wl,-u,_base_ControlziExceptionziBase_nestedAtomically_closure6-Wl,-u,_base_GHCziEventziThread_blockedOnBadFD_closure1-Wl,-u,_base_GHCziWeak_runFinalizzerBatch_closure4-Wl,-u,_base_GHCziTopHandler_flushStdHandles_closure*-Wl,-u,_base_GHCziTopHandler_runIO_closure--Wl,-u,_base_GHCziTopHandler_runNonIO_closure.-Wl,-u,_base_GHCziTopHandler_runMainIO_closure;-Wl,-u,_base_GHCziConcziIO_ensureIOManagerIsRunning_closure?-Wl,-u,_base_GHCziConcziIO_ioManagerCapabilitiesChanged_closure.-Wl,-u,_base_GHCziConcziSync_runSparks_closure5-Wl,-u,_base_GHCziConcziSignal_runHandlersPtr_closure-Wl,-u,_hs_atomic_add8-Wl,-u,_hs_atomic_add16-Wl,-u,_hs_atomic_add32-Wl,-u,_hs_atomic_add64-Wl,-u,_hs_atomic_sub8-Wl,-u,_hs_atomic_sub16-Wl,-u,_hs_atomic_sub32-Wl,-u,_hs_atomic_sub64-Wl,-u,_hs_atomic_and8-Wl,-u,_hs_atomic_and16-Wl,-u,_hs_atomic_and32-Wl,-u,_hs_atomic_and64-Wl,-u,_hs_atomic_nand8-Wl,-u,_hs_atomic_nand16-Wl,-u,_hs_atomic_nand32-Wl,-u,_hs_atomic_nand64-Wl,-u,_hs_atomic_or8-Wl,-u,_hs_atomic_or16-Wl,-u,_hs_atomic_or32-Wl,-u,_hs_atomic_or64-Wl,-u,_hs_atomic_xor8-Wl,-u,_hs_atomic_xor16-Wl,-u,_hs_atomic_xor32-Wl,-u,_hs_atomic_xor64-Wl,-u,_hs_cmpxchg8-Wl,-u,_hs_cmpxchg16-Wl,-u,_hs_cmpxchg32-Wl,-u,_hs_cmpxchg64-Wl,-u,_hs_atomicread8-Wl,-u,_hs_atomicread16-Wl,-u,_hs_atomicread32-Wl,-u,_hs_atomicread64-Wl,-u,_hs_atomicwrite8-Wl,-u,_hs_atomicwrite16-Wl,-u,_hs_atomicwrite32-Wl,-u,_hs_atomicwrite64-Wl,-search_paths_first>/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/lib/ghc-8.2.2./proof-combinators.cabalproof-combinatorsLICENSEnikivazou@gmail.com Niki Vazouhttp://nikivazou.github.io//Users/niki/.stack/snapshots/x86_64-osx/lts-11.2/8.2.2/bin/gcc>/Users/niki/.stack/compiler-tools/x86_64-osx/ghc-8.2.2/bin/gcc8/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/bin/gcc /Users/niki/.opam/system/bin/gcc(/Users/niki/.rvm/gems/ruby-2.2.1/bin/gcc//Users/niki/.rvm/gems/ruby-2.2.1@global/bin/gcc*/Users/niki/.rvm/rubies/ruby-2.2.1/bin/gcc /Users/niki/bin/homebrew/lib/gcc /Users/niki/bin/homebrew/bin/gcc/Users/niki/racket-6.6/bin/gcc/Users/niki/local/bin/bin/gcc/Users/niki/.local/bin/gcc/Users/niki/.cabal/bin/gcc/Users/niki/.bin/gcc/Users/niki/.bin/z3/bin/gcc#/Users/niki/Library/Haskell/bin/gcc/usr/local/share/python/gcc/usr/local/bin/gcc/usr/local/sbin/gcc/Users/niki/.rvm/bin/gccghcghc PATH3/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/bin:/Users/niki/.stack/snapshots/x86_64-osx/lts-11.2/8.2.2/bin:/Users/niki/.stack/compiler-tools/x86_64-osx/ghc-8.2.2/bin:/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/bin:/Users/niki/.opam/system/bin:/Users/niki/.rvm/gems/ruby-2.2.1/bin:/Users/niki/.rvm/gems/ruby-2.2.1@global/bin:/Users/niki/.rvm/rubies/ruby-2.2.1/bin:/Users/niki/bin/homebrew/lib/:/Users/niki/bin/homebrew/bin/:/Users/niki/racket-6.6/bin/:/Users/niki/local/bin/bin:/Users/niki/.local/bin/:/Users/niki/.cabal/bin/:/Users/niki/.bin:/Users/niki/.bin/z3/bin:/Users/niki/Library/Haskell/bin:/usr/local/share/python:/usr/local/bin/:/usr/local/sbin:/Users/niki/.rvm/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/opt/X11/bin:/opt/ImageMagick/bin:/Library/TeX/texbin8/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/bin/ghcghc-pkgghc-pkg PATH3/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/bin:/Users/niki/.stack/snapshots/x86_64-osx/lts-11.2/8.2.2/bin:/Users/niki/.stack/compiler-tools/x86_64-osx/ghc-8.2.2/bin:/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/bin:/Users/niki/.opam/system/bin:/Users/niki/.rvm/gems/ruby-2.2.1/bin:/Users/niki/.rvm/gems/ruby-2.2.1@global/bin:/Users/niki/.rvm/rubies/ruby-2.2.1/bin:/Users/niki/bin/homebrew/lib/:/Users/niki/bin/homebrew/bin/:/Users/niki/racket-6.6/bin/:/Users/niki/local/bin/bin:/Users/niki/.local/bin/:/Users/niki/.cabal/bin/:/Users/niki/.bin:/Users/niki/.bin/z3/bin:/Users/niki/Library/Haskell/bin:/usr/local/share/python:/usr/local/bin/:/usr/local/sbin:/Users/niki/.rvm/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/opt/X11/bin:/opt/ImageMagick/bin:/Library/TeX/texbin/Users/niki/.stack/snapshots/x86_64-osx/lts-11.2/8.2.2/bin/tar>/Users/niki/.stack/compiler-tools/x86_64-osx/ghc-8.2.2/bin/tar8/Users/niki/.stack/programs/x86_64-osx/ghc-8.2.2/bin/tar /Users/niki/.opam/system/bin/tar(/Users/niki/.rvm/gems/ruby-2.2.1/bin/tar//Users/niki/.rvm/gems/ruby-2.2.1@global/bin/tar*/Users/niki/.rvm/rubies/ruby-2.2.1/bin/tar /Users/niki/bin/homebrew/lib/tar /Users/niki/bin/homebrew/bin/tar/Users/niki/racket-6.6/bin/tar/Users/niki/local/bin/bin/tar/Users/niki/.local/bin/tar/Users/niki/.cabal/bin/tar/Users/niki/.bin/tar/Users/niki/.bin/z3/bin/tar#/Users/niki/Library/Haskell/bin/tar/usr/local/share/python/tar/usr/local/bin/tar/usr/local/sbin/tar/Users/niki/.rvm/bin/tar