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

Directory listing for liquidhaskell-0.8.6.0 source tarball

liquidhaskell-0.8.6.0/

• .DS_Store
• ._.DS_Store
• .ghci
• .gitignore
• .gitmodules
• CHANGES.md
• CONTRIBUTING.md
• HLint.hs
• INSTALL.md
• LICENSE
• LICENSE_Z3
• Makefile
• NIX.md
• README.md
• Setup.hs
• Syntax.md
• appveyor-copy.bat
• appveyor.yml
• cabal.project
• cleanup
• liquidhaskell.cabal
• stack.yaml
• .circleci/
  • config.yml
• devel/
  • Paths_liquidhaskell.hs
• include/
  • Bot.hquals
  • CoreToLogic.lg
  • KMeansHelper.hs
  • NotReal.spec
  • PatErr.spec
  • Prelude.hquals
  • Prelude.spec
  • Real.spec
  • len.hquals
  • 710/
    • Data/
      • Traversable.spec
  • Control/
    • Exception.spec
    • Parallel/
      • Strategies.spec
  • Data/
    • Bits.spec
    • ByteString.spec
    • Char.spec
    • Either.spec
    • Foldable.spec
    • Int.spec
    • Map.hiddenspec
    • OldList.spec
    • Set.spec
    • String.spec
    • Text.spec
    • Time.spec
    • Tuple.spec
    • Vector.hquals
    • Vector.spec
    • Word.spec
    • Word8.spec
    • ByteString/
      • Char8.spec
      • Lazy.spec
      • Short.spec
      • Unsafe.spec
      • Lazy/
        • Char8.spec
    • Text/
      • Fusion.spec
      • Fusion/
        • Common.spec
      • Lazy/
        • Fusion.spec
    • Time/
      • Calendar.spec
  • Foreign/
    • ForeignPtr.spec
    • Ptr.spec
    • Storable.spec
    • C/
      • String.spec
      • Types.spec
    • Marshal/
      • Alloc.spec
      • Array.spec
  • GHC/
    • Base.hquals
    • Base.spec
    • CString.spec
    • Classes.spec
    • Exts.spec
    • ForeignPtr.spec
    • Int.spec
    • List.spec
    • Num.spec
    • Prim.spec
    • Ptr.spec
    • Read.spec
    • Real.spec
    • Types.spec
    • Word.spec
    • IO/
      • Handle.spec
  • Language/
    • Haskell/
      • Liquid/
        • Bag.hs
        • Equational.hs
        • Example.hs
        • Foreign.hs
        • List.hs
        • OldProofCombinators.hs
        • Prelude.hs
        • Prelude.pred
        • ProofCombinators.hs
        • RTick.hs
        • String.hs
        • RTick/
          • Combinators.hs
  • System/
    • IO.spec
• scripts/
  • CountBinders.hs
  • haskell_count
  • metrics.py
  • travis
  • performance/
    • cleanup.bash
    • generate.bash
    • initialize.bash
  • plot-benchmarks/
    • README.md
    • Setup.hs
    • plot-benchmarks.cabal
    • stack.yaml
    • src/
      • Benchmark.hs
      • Config.hs
      • Main.hs
      • Parse.hs
      • Plot.hs
• src/
  • Gradual.hs
  • LHi.hs
  • Liquid.hs
  • LiquidHaskell.hs
  • Target.hs
  • Gradual/
    • Concretize.hs
    • GUI.hs
    • Misc.hs
    • PrettyPrinting.hs
    • Refinements.hs
    • Trivial.hs
    • Types.hs
    • Uniquify.hs
    • GUI/
      • Annotate.hs
      • Misc.hs
      • Names.hs
      • Render.hs
      • Types.hs
  • Language/
    • Haskell/
      • Liquid/
        • Bare.hs
        • GHC.hs
        • LawInstances.hs
        • Liquid.hs
        • Measure.hs
        • Misc.hs
        • Parse.hs
        • Types.hs
        • WiredIn.hs
        • Bare/
          • Axiom.hs
          • Check.hs
          • Class.hs
          • DataType.hs
          • Expand.hs
          • Laws.hs
          • Measure.hs
          • Misc.hs
          • Plugged.hs
          • Resolve.hs
          • ToBare.hs
          • Types.hs
        • Constraint/
          • Constraint.hs
          • Env.hs
          • Fresh.hs
          • Generate.hs
          • Init.hs
          • Monad.hs
          • Qualifier.hs
          • Split.hs
          • ToFixpoint.hs
          • Types.hs
        • GHC/
          • API.hs
          • Interface.hs
          • Misc.hs
          • Play.hs
          • Resugar.hs
          • SpanStack.hs
          • TypeRep.hs
        • Interactive/
          • Handler.hs
          • Types.hs
        • Termination/
          • Structural.hs
        • Transforms/
          • ANF.hs
          • CoreToLogic.hs
          • Rec.hs
          • RefSplit.hs
          • Rewrite.hs
          • Simplify.hs
        • Types/
          • Annotations.hs
          • Bounds.hs
          • Dictionaries.hs
          • Equality.hs
          • Errors.hs
          • Fresh.hs
          • Literals.hs
          • Meet.hs
          • Names.hs
          • PredType.hs
          • PrettyPrint.hs
          • RefType.hs
          • Specs.hs
          • Strata.hs
          • Types.hs
          • Variance.hs
          • Visitors.hs
        • UX/
          • ACSS.hs
          • Annotate.hs
          • CTags.hs
          • CmdLine.hs
          • Config.hs
          • DiffCheck.hs
          • Errors.hs
          • QuasiQuoter.hs
          • Server.hs
          • Tidy.hs
• tests/
  • .DS_Store
  • ._.DS_Store
  • TestCommits.hs
  • test.hs
  • neg/
    • AbsApp.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • Ast.hs
    • AutoSize.hs
    • AutoTerm1.hs
    • Automate.hs
    • BadNats.hs
    • Baz.hs
    • BigNum.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CastedTotality.hs
    • CharLiterals.hs
    • CheckedNum.hs
    • Class1.hs
    • Class2.hs
    • Class3.hs
    • Class4.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • DependentTypes.hs
    • Eval.hs
    • EvalQuery.hs
    • ExactADT6.hs
    • ExactGADT6.hs
    • ExactGADT7.hs
    • FunSoundness.hs
    • FunctionRef.hs
    • GeneralizedTermination.hs
    • HasElem.hs
    • Hex00.hs
    • HigherOrder.hs
    • HolesTop.hs
    • IntAbsRef.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • LetRecStack.hs
    • ListConcat.hs
    • ListElem.hs
    • ListKeys.hs
    • ListMSort.hs
    • ListRange.dat
    • ListRange.hs
    • LocalSpec.hs
    • MaybeMonad.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MergeSort.hs
    • MultiParamTypeClasses.hs
    • MultipleInvariants.hs
    • NameResolution.hs
    • NoExhaustiveGuardsError.hs
    • NoMethodBindingError.hs
    • PairMeasure.hs
    • Propability.hs
    • Propability0.hs
    • QQTySig.hs
    • QQTySyn1.hs
    • QQTySyn2.hs
    • RG.hs
    • Rebind.hs
    • RecQSort.hs
    • RecSelector.hs
    • SafePartialFunctions.hs
    • Solver.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • Strings.hs
    • Sumk.hquals
    • T1013A.hs
    • T1095C.hs
    • T1126.hs
    • T1198.3.hs
    • T1267.hs
    • T1286.hs
    • T1288.hs
    • T1440.hs
    • T1498.hs
    • T1498A.hs
    • T1546.hs
    • T602.hs
    • T743-mini.hs
    • T743.hs
    • TermReal.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • TopLevel.hs
    • TotalHaskell.hs
    • TypeLitNat.hs
    • Variance.hs
    • Variance1.hs
    • VerifiedNum.hs
    • alias00.hs
    • ass0.hs
    • bag1.hs
    • concat.hs
    • concat1.hs
    • concat2.hs
    • contra0.hs
    • coretologic.hs
    • csv.hs
    • datacon-eq.hs
    • elim-ex-compose.hs
    • elim-ex-let.hs
    • elim-ex-list.hs
    • elim-ex-map-1.hs
    • elim-ex-map-2.hs
    • elim-ex-map-3.hs
    • elim000.hs
    • errmsg.hs
    • errorloc.hs
    • ex0-unsafe.hs
    • ex1-unsafe.hs
    • filterAbs.hs
    • foldN.hs
    • foldN1.hs
    • grty0.hs
    • grty1.hs
    • grty2.hs
    • grty3.hs
    • inc2.hs
    • list00.hs
    • listne.hs
    • lit.hs
    • mapreduce-tiny.hs
    • mapreduce.hs
    • maps.hs
    • meas0.hs
    • meas2.hs
    • meas3.hs
    • meas5.hs
    • meas7.hs
    • meas9.hs
    • monad3.hs
    • monad4.hs
    • monad5.hs
    • monad6.hs
    • monad7.hs
    • mr00.hs
    • multi-pred-app-00.hs
    • nestedRecursion.hs
    • pair.hs
    • pair0.hs
    • pargs.hs
    • pargs1.hs
    • partial.hs
    • poly0.hs
    • poly1.hs
    • poly2-degenerate.hs
    • poly2.hs
    • polypred.hs
    • poslist.hs
    • pred.hs
    • prune0.hs
    • range.hs
    • record0.hs
    • revshape.hs
    • risers.hs
    • stacks.hs
    • state0.hs
    • state00.hs
    • string00.hs
    • sumPoly.hs
    • sumk.hs
    • test00.hs
    • test00a.hs
    • test00b.hs
    • test00c.hs
    • test1.hs
    • test2.hs
    • trans.hs
    • truespec.hs
    • tyclass0-unsafe.hs
    • vector00.hs
    • vector0a.hs
    • vector1a.hs
    • vector2.hs
    • wrap0.hs
    • wrap1.hs
  • pos/
    • AVL.hs
    • AVLRJ.hs
    • Abs.hs
    • Ackermann.hs
    • AdtList0.hs
    • AdtList1.hs
    • AdtList2.hs
    • AdtList3.hs
    • AdtList4.hs
    • AdtList5.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • AmortizedQueue.hs
    • Assume.hs
    • AssumedRecursive.hs
    • AutoSize.hs
    • AutoTerm.hs
    • AutoTerm1.hs
    • Automate.hs
    • Avg.hs
    • BST.hs
    • BST000.hs
    • BinarySearch.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CasesToLogic.hs
    • Cat.hs
    • CharLiterals.hs
    • CheckedNum.hs
    • Chunks.hs
    • Class.hs
    • Class2.hs
    • ClassReg.hs
    • Client521.hs
    • ClojurVector.hs
    • Coercion.hs
    • CommentedOut.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • CountMonad.hs
    • DB00.hs
    • DataBase.hs
    • DepData.hs
    • DepTriples.hs
    • DependentPairs.hs
    • DependentPairsFun.hs
    • Deptup1.pred
    • Eval.hs
    • EvalQuery.hs
    • Even.hs
    • Even0.hs
    • ExactADT6.hs
    • ExactGADT.hs
    • ExactGADT0.hs
    • ExactGADT1.hs
    • ExactGADT2.hs
    • ExactGADT6.hs
    • FFI.hs
    • Fib0.hs
    • FibEq.hs
    • FingerTree.hs
    • Foldl.hs
    • Foo.hs
    • Fractional.hs
    • FractionalInstance.hs
    • GCD.hs
    • GeneralizedTermination.hs
    • GhcSort1.hs
    • GhcSort2.hs
    • GhcSort3.T.hs
    • GhcSort3.hs
    • GoodHMeas.hs
    • Graph.hs
    • HasElem.hs
    • HaskellMeasure.hs
    • HedgeUnion.hs
    • Hex00.hs
    • HigherOrderRecFun.hs
    • Hole00.hs
    • Holes-Slicing.hs
    • Holes.hs
    • Hutton.hs
    • IcfpDemo.hs
    • Ignores.hs
    • Infinity.hs
    • Keys.hs
    • LambdaDeBruijn.hs
    • LambdaEval.hs
    • LambdaEvalMini.hs
    • LambdaEvalSuperTiny.hs
    • LambdaEvalTiny.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • Lib521.hs
    • ListConcat.hs
    • ListElem.hs
    • ListISort-bag.hs
    • ListISort-perm.hs
    • ListKeys.hs
    • ListLen-LType.hs
    • ListLen.hs
    • ListMSort-LType.hs
    • ListMSort.hs
    • ListQSort-LType.hs
    • ListRange-LType.hs
    • ListRange.hs
    • ListReverse-LType.hs
    • ListSort.hs
    • LocalHole.hs
    • LocalLazy.hs
    • LocalSpec.hs
    • LocalSpecLib.hs
    • LogicCurry1.hs
    • Loo.hs
    • LooLib.hs
    • LooLibLib.hs
    • Map.hs
    • Map0.hs
    • Map2.hs
    • MapFusion.hs
    • MapReduceVerified.hs
    • MaskError.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MeasureSets.hs
    • Measures.hs
    • Measures1.hs
    • Merge1.hs
    • MergeSort-bag.hs
    • MergeSort.hs
    • Mod.hs
    • ModLib.hs
    • MutualRec.hs
    • MutuallyDependentADT.hs
    • NoCaseExpand.hs
    • NoExhaustiveGuardsError.hs
    • ORM.hs
    • OrdList.hs
    • PairMeasure.hs
    • PairMeasure0.hs
    • Permutation.hs
    • PersistentVector.hs
    • PointDist.hs
    • Product.hs
    • PromotedDataCons.hs
    • Propability.hs
    • QQTySig.hs
    • QQTySigTyVars.hs
    • QQTySyn.hs
    • RBTree-col-height.hs
    • RBTree-color.hs
    • RBTree-height.hs
    • RBTree-ord.hs
    • RBTree.hs
    • RealProps.hs
    • Rebind.hs
    • RecQSort.hs
    • RecQSort0.hs
    • RecSelector.hs
    • RecordSelectorError.hs
    • Reduction.hs
    • RefinedADTs.hs
    • ReflectAlias.hs
    • ReflectBooleanFunctions.hs
    • ReflectMutual.hs
    • RelativeComplete.hs
    • Repeat.hs
    • Resolve.hs
    • ResolveA.hs
    • ResolveB.hs
    • ResolvePred.hs
    • SafePartialFunctions.hs
    • SimplerNotation.hs
    • SimplifyTup00.hs
    • SingletonLists.hs
    • Solver.hs
    • StackClass.hs
    • StackMachine.hs
    • State.hquals
    • State.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StateF00.hs
    • StateLib.hs
    • Streams.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • StringLit.hs
    • Strings.hs
    • StructRec.hs
    • Sum.hs
    • T1013.hs
    • T1024.hs
    • T1025.hs
    • T1025a.hs
    • T1034.hs
    • T1045.hs
    • T1045.hs-boot
    • T1045a.hs
    • T1060.hs
    • T1065.hs
    • T1074.hs
    • T1085.hs
    • T1092.hs
    • T1095A.hs
    • T1095B.hs
    • T1095C.hs
    • T1100.hs
    • T1120A.hs
    • T1126.hs
    • T1126a.hs
    • T1198.1.hs
    • T1198.2.hs
    • T1198.3.hs
    • T1198.4.hs
    • T1220.hs
    • T1223.hs
    • T1267.hs
    • T1278.2.hs
    • T1278.3.hs
    • T1278.hs
    • T1286.hs
    • T1288.hs
    • T1289a.hs
    • T1302.hs
    • T1336.hs
    • T1363.hs
    • T1461.hs
    • T1498.hs
    • T1543.hs
    • T1544.hs
    • T385.hs
    • T531.hs
    • T595.hs
    • T595a.hs
    • T598.hs
    • T716.hs
    • T819.hs
    • T819A.hs
    • T820.hs
    • T866.hs
    • T914.hs
    • Term.hs
    • Termination.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • Test761.hs
    • TokenType.hs
    • TopLevel.hs
    • ToyMVar.hs
    • TypeAlias.hs
    • TypeLitNat.hs
    • TypeLitString.hs
    • UnboxedTuples.hs
    • UnboxedTuplesAndTH.hs
    • Variance.hs
    • Variance2.hs
    • VerifiedNum.hs
    • WBL.hs
    • WBL0.hs
    • Words.hs
    • Words1.hs
    • WrapUnWrap.hs
    • absref-crash.hs
    • absref-crash0.hs
    • adt0.hs
    • alias00.hs
    • alias01.hs
    • alphaconvert-List.hs
    • alphaconvert-Set.hs
    • anfbug.hs
    • anftest.hs
    • anish1.hs
    • bag1.hs
    • bangPatterns.hs
    • bool0.hs
    • bool1.hs
    • bool2.hs
    • bounds1.hs
    • case-lambda-join.hs
    • cmptag0.hs
    • comma.hs
    • compare.hs
    • compare1.hs
    • compare2.hs
    • comprehension.hs
    • comprehensionTerm.hs
    • coretologic.hs
    • csgordon_issue_296.hs
    • cut00.hs
    • data2.hs
    • dataConQuals.hs
    • datacon-inv.hs
    • datacon0.hs
    • datacon1.hs
    • deepmeas0.hs
    • deptup.hs
    • deptup1.hs
    • deptup3.hs
    • deptupW.hs
    • div000.hs
    • dropwhile.hs
    • duplicate-bind.hs
    • elements.hs
    • elems.hs
    • elim-ex-compose.hs
    • elim-ex-let.hs
    • elim-ex-list.hs
    • elim-ex-map-1.hs
    • elim-ex-map-2.hs
    • elim-ex-map-3.hs
    • elim00.hs
    • elim01.hs
    • eq-poly-measure.hs
    • eqelems.hs
    • ex0.hs
    • ex01.hs
    • ex1.hs
    • exp0.hs
    • extype.hs
    • failName.hs
    • filterAbs.hs
    • foldN.hs
    • foldr.hs
    • for.hs
    • forloop.hs
    • gadtEval.hs
    • gimme.hs
    • go.hs
    • go_ugly_type.hs
    • grty0.hs
    • grty1.hs
    • grty2.hs
    • grty3.hs
    • hello.hs
    • hole-app.hs
    • hole-fun.hs
    • idNat.hs
    • idNat0.hs
    • imp0.hs
    • implies.hs
    • infix.hs
    • inline.hs
    • inline1.hs
    • invlhs.hs
    • ite.hs
    • ite1.hs
    • jeff.hs
    • kmp.hs
    • kmpIO.hs
    • kmpVec.hs
    • lets.hs
    • lex.hs
    • listAnf.hs
    • listSet.hquals
    • listSet.hs
    • listSetDemo.hs
    • listqual.hs
    • lit.hs
    • lit00.hs
    • lit02.hs
    • malformed0.hs
    • mapTvCrash.hs
    • mapreduce-bare.hs
    • maps.hs
    • maps1.hs
    • maybe.hs
    • maybe0.hs
    • maybe000.hs
    • maybe1.hs
    • maybe2.hs
    • maybe3.hs
    • maybe4.hs
    • meas0.hs
    • meas00.hs
    • meas00a.hs
    • meas0a.hs
    • meas1.hs
    • meas10.hs
    • meas11.hs
    • meas2.hs
    • meas4.hs
    • meas5.hs
    • meas6.hs
    • meas7.hs
    • meas8.hs
    • meas9.hs
    • modTest.hs
    • monad2.hs
    • monad5.hs
    • monad6.hs
    • multi-pred-app-00.hs
    • mutrec.hs
    • nats.hs
    • niki.hs
    • niki1.hs
    • pair.hs
    • pair0.hs
    • pair00.hs
    • pargs.hs
    • pargs1.hs
    • partial-tycon.hs
    • partialmeasure.hs
    • ple1.hs
    • poly0.hs
    • poly1.hs
    • poly2-degenerate.hs
    • poly2.hs
    • poly3.hs
    • poly3a.hs
    • poly4.hs
    • polyfun.hs
    • polyqual.hs
    • poslist.hs
    • poslist_dc.hs
    • pragma0.hs
    • pred.hs
    • primInt0.hs
    • profcrasher.hs
    • propmeasure.hs
    • propmeasure1.hs
    • qualTest.hs
    • range.hs
    • range1.hs
    • rangeAdt.hs
    • rec_annot_go.hs
    • record0.hs
    • record1.hs
    • recursion0.hs
    • reflect0.hs
    • repeatHigherOrder.hs
    • risers.hs
    • rta.hs
    • scanr.hs
    • selfList.hquals
    • selfList.hs
    • spec0.hs
    • stacks0.hs
    • state00.hs
    • stateInvarint.hs
    • string00.hs
    • tagBinder.hs
    • take.hs
    • term0.hs
    • test0.hs
    • test00-int.hs
    • test00.hs
    • test00.old.hs
    • test000.hs
    • test000.hs.hquals
    • test00b.hs
    • test00c.hs
    • test1.hs
    • test2.hs
    • testRec.hs
    • top0.hs
    • trans.hs
    • transTAG.hs
    • transpose.hs
    • tup0.hs
    • tupparse.hs
    • tyExpr.hs
    • tyclass0.hs
    • tyfam0.hs
    • tyvar.hs
    • unusedtyvars.hs
    • vector00.hs
    • vector1.hs
    • vector1a.hs
    • vector1b.hs
    • vector2.hs
    • wrap0.hs
    • wrap1.hs
    • zipSO.hs
    • zipW.hs
    • zipW1.hs
    • zipW2.hs
    • zipper.hs
    • zipper0.hs
    • zipper000.hs