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

Directory listing for liquidhaskell-0.8.10.7.1 source tarball

liquidhaskell-0.8.10.7.1/

• CHANGES.md
• LICENSE
• README.md
• Setup.hs
• liquidhaskell.cabal
• devel/
  • Paths_liquidhaskell.hs
• exe/
  • Liquid.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
    • Maybe.spec
    • 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
    • Text/
      • Fusion.spec
      • Fusion/
        • Common.spec
      • Lazy/
        • Fusion.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
        • Foreign.hs
        • List.hs
        • Prelude.hs
        • Prelude.pred
        • ProofCombinators.hs
        • RTick.hs
        • String.hs
        • RTick/
          • Combinators.hs
        • Synthesize/
          • Error.hs
  • System/
    • IO.spec
• mirror-modules/
  • CLI.hs
  • Main.hs
  • templates/
    • MirrorModule.mustache
• src/
  • LiquidHaskell.hs
  • Language/
    • Haskell/
      • Liquid/
        • Bare.hs
        • Cabal.hs
        • LawInstances.hs
        • Liquid.hs
        • Measure.hs
        • Misc.hs
        • Parse.hs
        • Synthesize.hs
        • Types.hs
        • WiredIn.hs
        • Bare/
          • Axiom.hs
          • Check.hs
          • Class.hs
          • DataType.hs
          • Elaborate.hs
          • Expand.hs
          • Laws.hs
          • Measure.hs
          • Misc.hs
          • Plugged.hs
          • Resolve.hs
          • Slice.hs
          • ToBare.hs
          • Typeclass.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
          • GhcMonadLike.hs
          • Interface.hs
          • Logging.hs
          • Misc.hs
          • Play.hs
          • Plugin.hs
          • Resugar.hs
          • SpanStack.hs
          • TypeRep.hs
          • Types.hs
          • API/
            • StableModule.hs
          • Plugin/
            • SpecFinder.hs
            • Tutorial.hs
            • Types.hs
            • Util.hs
        • Interactive/
          • Handler.hs
          • Types.hs
        • Synthesize/
          • Check.hs
          • Env.hs
          • GHC.hs
          • Generate.hs
          • Misc.hs
          • Monad.hs
          • Termination.hs
        • Termination/
          • Structural.hs
        • Transforms/
          • ANF.hs
          • CoreToLogic.hs
          • InlineAux.hs
          • Rec.hs
          • RefSplit.hs
          • Rewrite.hs
          • Simplify.hs
        • Types/
          • Bounds.hs
          • Dictionaries.hs
          • Equality.hs
          • Errors.hs
          • Fresh.hs
          • Generics.hs
          • Literals.hs
          • Meet.hs
          • Names.hs
          • PredType.hs
          • PrettyPrint.hs
          • RefType.hs
          • Specs.hs
          • Types.hs
          • Variance.hs
          • Visitors.hs
        • UX/
          • ACSS.hs
          • Annotate.hs
          • CTags.hs
          • CmdLine.hs
          • Config.hs
          • DiffCheck.hs
          • Errors.hs
          • QuasiQuoter.hs
          • Tidy.hs
• syntax/
  • liquid.css
• tests/
  • Parser.hs
  • Synthesis.hs
  • test.hs
  • errors/
    • AmbiguousInline.hs
    • AmbiguousReflect.hs
    • BadAliasApp.hs
    • BadAnnotation.hs
    • BadAnnotation1.hs
    • BadData0.hs
    • BadData1.hs
    • BadData2.hs
    • BadDataCon2.hs
    • BadDataConType.hs
    • BadDataConType1.hs
    • BadDataConType2.hs
    • BadDataDeclTyVars.hs
    • BadGADT.hs
    • BadPragma0.hs
    • BadPragma1.hs
    • BadPragma2.hs
    • BadPredApp.hs
    • BadQualifier.hs
    • BadSig0.hs
    • BadSig1.hs
    • BadSyn1.hs
    • BadSyn2.hs
    • BadSyn3.hs
    • BadSyn4.hs
    • CyclicExprAlias0.hs
    • CyclicExprAlias1.hs
    • CyclicExprAlias2.hs
    • CyclicExprAlias3.hs
    • CyclicPredAlias0.hs
    • CyclicPredAlias1.hs
    • CyclicPredAlias2.hs
    • CyclicPredAlias3.hs
    • CyclicTypeAlias0.hs
    • CyclicTypeAlias1.hs
    • CyclicTypeAlias2.hs
    • CyclicTypeAlias3.hs
    • DupAlias.hs
    • DupData.hs
    • DupFunSigs.hs
    • DupMeasure.hs
    • ElabLocation.hs
    • EmptyData.hs
    • EmptySig.hs
    • ErrLocation.hs
    • ErrLocation2.hs
    • ExportMeasure0.hs
    • ExportReflect0.hs
    • Fractional.hs
    • HigherOrderBinder.hs
    • HintMismatch.hs
    • HoleCrash1.hs
    • HoleCrash2.hs
    • HoleCrash3.hs
    • Inconsistent0.hs
    • Inconsistent1.hs
    • Inconsistent2.hs
    • InlineSubExp0.hs
    • InlineSubExp1.hs
    • IrregularData.hs
    • LiftMeasureCase.hs
    • LocalHole.hs
    • MissingAssume.hs
    • MissingField1.hs
    • MissingField2.hs
    • MissingReflect.hs
    • MissingSizeFun.hs
    • MultiInstMeasures.hs
    • MultiRecSels.hs
    • ParseBind.hs
    • ParseClass.hs
    • ReWrite5.hs
    • ReWrite6.hs
    • ReWrite7.hs
    • ReWrite8.hs
    • ReflectLam.hs
    • ShadowFieldInline.hs
    • ShadowFieldReflect.hs
    • ShadowMeasure.hs
    • ShadowMeasureVar.hs
    • SplitSubtype.hs
    • T1140.hs
    • T1498.hs
    • T1498A.hs
    • T1708.hs
    • T773.hs
    • T774.hs
    • TODOUnboundAbsRef.hs
    • TODOVarInTypeAlias.hs
    • TerminationExprNum.hs
    • TerminationExprSort.hs
    • TerminationExprUnb.hs
    • UnboundAbsRef.hs
    • UnboundCheckVar.hs
    • UnboundFunInSpec.hs
    • UnboundFunInSpec1.hs
    • UnboundFunInSpec2.hs
    • UnboundVarInAssume.hs
    • UnboundVarInLocSig.hs
    • UnboundVarInReflect.hs
    • UnboundVarInSpec.hs
    • frog.hs
  • ffi-include/
    • foo.c
    • foo.h
  • import/
    • client/
      • CliAliasGen00.hs
      • CliRedBlue.hs
      • Client0.hs
      • Client1.hs
      • Client2.hs
      • ExactGADT9.hs
      • FunClashLibLibClient.hs
      • LibRedBlue.hs
      • LiquidArrayInit.hs
      • LiquidArrayNullTerm.hs
      • ListClient.hs
      • NameClashClient.hs
      • RC1015.hs
      • ReExportClient.hs
      • ReflectClient0.hs
      • ReflectClient1.hs
      • ReflectClient2.hs
      • ReflectClient3.hs
      • ReflectClient4.hs
      • ReflectClient4a.hs
      • ReflectClient5.hs
      • ReflectClient6.hs
      • ReflectClient7.hs
      • ReflectClient8.hs
      • RewriteClient.hs
      • STClient.hs
      • T1096_Foo.hs
      • T1104Client.hs
      • T1117.hs
      • T1118.hs
      • T1180.hs
      • T1688.hs
      • T1738.hs
      • WrapClient.hs
    • lib/
      • ExactGADT8.hs
      • FunClashLib.hs
      • FunClashLibLib.hs
      • LibAliasGen00.hs
      • LibBlue.hs
      • LibRed.hs
      • LiquidArray.hs
      • ListLib.hs
      • NameClashLib.hs
      • Peano.hs
      • RL1015.hs
      • ReExport.hs
      • ReflectLib0.hs
      • ReflectLib1.hs
      • ReflectLib2.hs
      • ReflectLib3.hs
      • ReflectLib4.hs
      • ReflectLib5.hs
      • ReflectLib6.hs
      • ReflectLib7.hs
      • ReflectLib8.hs
      • RewriteLib.hs
      • STLib.hs
      • Spec.hs
      • T1096_Types.hs
      • T1102_LibX.hs
      • T1102_LibY.hs
      • T1102_LibZ.hs
      • T1104Lib.hs
      • T1112.hs
      • T1112Lib.hs
      • T1117Lib.hs
      • T1118Lib1.hs
      • T1118Lib2.hs
      • T1688Lib.hs
      • T1738Lib.hs
      • WrapLib.hs
      • WrapLibCode.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
    • Fail.hs
    • Fail1.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.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
    • ReWrite.hs
    • ReWrite2.hs
    • ReWrite3.hs
    • ReWrite4.hs
    • Rebind.hs
    • RecQSort.hs
    • RecSelector.hs
    • SafePartialFunctions.hs
    • Solver.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • Strings.hs
    • T1095C.hs
    • T1126.hs
    • T1198.3.hs
    • T1267.hs
    • T1286.hs
    • T1288.hs
    • T1490.hs
    • T1490A.hs
    • T1498.hs
    • T1498A.hs
    • T1546.hs
    • T1553.hs
    • T1553A.hs
    • T1555.hs
    • T1577.hs
    • T1604.hs
    • T1613.hs
    • T1642A.hs
    • T1657.hs
    • T1657A.hs
    • T1659.hs
    • T1814.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
    • maybe.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
    • null.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
    • Eval.hs
    • EvalQuery.hs
    • Even.hs
    • Even0.hs
    • ExactADT6.hs
    • ExactGADT.hs
    • ExactGADT0.hs
    • ExactGADT1.hs
    • ExactGADT2.hs
    • ExactGADT6.hs
    • FFI.hs
    • Fail.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
    • ReWrite.hs
    • ReWrite10.hs
    • ReWrite2.hs
    • ReWrite3.hs
    • ReWrite4.hs
    • ReWrite5.hs
    • ReWrite6.hs
    • ReWrite7.hs
    • ReWrite8.hs
    • ReWrite9.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
    • T1013A.hs
    • T1024.hs
    • T1025.hs
    • T1025a.hs
    • T1034.hs
    • T1045.hs
    • 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
    • T1547.hs
    • T1548.hs
    • T1550.hs
    • T1555.hs
    • T1556.hs
    • T1560.hs
    • T1560B.hs
    • T1567.hs
    • T1568.hs
    • T1571.hs
    • T1577.hs
    • T1593.hs
    • T1595.hs
    • T1597.hs
    • T1603.hs
    • T1633.hs
    • T1634.hs
    • T1636.hs
    • T1642.hs
    • T1642A.hs
    • T1647.hs
    • T1649MeasuresDef.hs
    • T1649WorkTypes.hs
    • T1657.hs
    • T1660.hs
    • T1669.hs
    • T1670A.hs
    • T1670B.hs
    • T1697.hs
    • T1697A.hs
    • T1697C.hs
    • T1709.hs
    • T1749.hs
    • T1761.hs
    • T1775.hs
    • T1812.hs
    • T1874.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
    • maybe5.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
    • null.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