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

Directory listing for liquidhaskell-0.9.0.2.1 source tarball

liquidhaskell-0.9.0.2.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
        • 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
          • Relational.hs
          • Split.hs
          • ToFixpoint.hs
          • Types.hs
        • GHC/
          • Plugin.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
          • SimpleVersion.hs
          • Tidy.hs
• src-ghc/
  • Liquid/
    • GHC/
      • API.hs
      • GhcMonadLike.hs
      • Interface.hs
      • Logging.hs
      • Misc.hs
      • Play.hs
      • Resugar.hs
      • SpanStack.hs
      • TypeRep.hs
      • Types.hs
      • API/
        • StableModule.hs
• syntax/
  • liquid.css
• tests/
  • Parser.hs
  • Synthesis.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
    • ElabLocation2.hs
    • ElabLocation3.hs
    • EmptyData.hs
    • ErrLocation.hs
    • ErrLocation2.hs
    • ExportMeasure0.hs
    • ExportReflect0.hs
    • Fractional.hs
    • Frog.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
    • Positivity1.hs
    • Positivity2.hs
    • PositivityCheck.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
  • ffi-include/
    • foo.c
    • foo.h
  • import/
    • client/
      • C.hs
      • CliAliasGen00.hs
      • CliRedBlue.hs
      • Client0.hs
      • Client1Lib.hs
      • Client2Lib.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/
      • B.hs
      • ExactGADT8Lib.hs
      • FunClashLib.hs
      • FunClashLibLib.hs
      • Language.hs
      • LibAliasGen00.hs
      • LibBlue.hs
      • LibRed.hs
      • LiquidArrayLib.hs
      • ListLib.hs
      • NameClashLib.hs
      • PeanoLib.hs
      • RL1015Lib.hs
      • ReExportLib.hs
      • ReflectLib0.hs
      • ReflectLib1.hs
      • ReflectLib2.hs
      • ReflectLib3.hs
      • ReflectLib4.hs
      • ReflectLib5.hs
      • ReflectLib6.hs
      • ReflectLib7.hs
      • ReflectLib8.hs
      • RewriteLib.hs
      • STLib.hs
      • SpecLib.hs
      • T1096_TypesLib.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
    • Alias00.hs
    • Ass0.hs
    • Ast.hs
    • AutoSize.hs
    • AutoTerm1.hs
    • Automate.hs
    • BadNats.hs
    • Bag1.hs
    • Baz.hs
    • BigNum.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CastedTotality.hs
    • CharLiterals.hs
    • CheckedNum.hs
    • CheckedNumLib.hs
    • Class1.hs
    • Class2.hs
    • Class3.hs
    • Class4.hs
    • CompareConstraints.hs
    • Concat.hs
    • Concat1.hs
    • Concat2.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • Contra0.hs
    • Coretologic.hs
    • Csv.hs
    • Datacon_eq.hs
    • DependentTypes.hs
    • Elim000.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
    • Errmsg.hs
    • Errorloc.hs
    • Eval.hs
    • EvalQuery.hs
    • Ex0_unsafe.hs
    • Ex1_unsafe.hs
    • ExactADT6.hs
    • ExactGADT6.hs
    • ExactGADT7.hs
    • Fail.hs
    • Fail1.hs
    • FancyTerm.hs
    • FilterAbs.hs
    • FoldN.hs
    • FoldN1.hs
    • FunSoundness.hs
    • FunctionRef.hs
    • GeneralizedTermination.hs
    • Grty0.hs
    • Grty1.hs
    • Grty2.hs
    • Grty3.hs
    • HasElem.hs
    • Hex00.hs
    • HigherOrder.hs
    • HolesTop.hs
    • Inc2.hs
    • IntAbsRef.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • LetRecStack.hs
    • List00.hs
    • ListConcat.hs
    • ListElem.hs
    • ListKeys.hs
    • ListMSort.hs
    • ListRange.hs
    • Listne.hs
    • Lit.hs
    • LocalSpec.hs
    • Mapreduce.hs
    • Mapreduce_tiny.hs
    • Maps.hs
    • Maybe.hs
    • MaybeMonad.hs
    • Meas0.hs
    • Meas2.hs
    • Meas3.hs
    • Meas5.hs
    • Meas7.hs
    • Meas9.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MergeSort.hs
    • Monad3.hs
    • Monad4.hs
    • Monad5.hs
    • Monad6.hs
    • Monad7.hs
    • Mr00.hs
    • MultiParamTypeClasses.hs
    • Multi_pred_app_00.hs
    • MultipleInvariants.hs
    • NameResolution.hs
    • NestedRecursion.hs
    • NoExhaustiveGuardsError.hs
    • NoMethodBindingError.hs
    • Null.hs
    • Pair.hs
    • Pair0.hs
    • PairMeasure.hs
    • Pargs.hs
    • Pargs1.hs
    • Partial.hs
    • Poly0.hs
    • Poly1.hs
    • Poly2.hs
    • Poly2_degenerate.hs
    • Polypred.hs
    • Poslist.hs
    • Pred.hs
    • Propability.hs
    • Propability0.hs
    • Prune0.hs
    • QQTySig.hs
    • QQTySyn1.hs
    • QQTySyn2.hs
    • RG.hs
    • Range.hs
    • ReWrite.hs
    • ReWrite2.hs
    • ReWrite3.hs
    • ReWrite4.hs
    • Rebind.hs
    • RecQSort.hs
    • RecSelector.hs
    • Record0.hs
    • Revshape.hs
    • Risers.hs
    • SafePartialFunctions.hs
    • Solver.hs
    • Stacks.hs
    • State0.hs
    • State00.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • String00.hs
    • Strings.hs
    • SumPoly.hs
    • Sumk.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
    • T1907.hs
    • T602.hs
    • T743.hs
    • T743_mini.hs
    • TermReal.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • Test00.hs
    • Test00a.hs
    • Test00b.hs
    • Test00c.hs
    • Test1.hs
    • Test2.hs
    • TopLevel.hs
    • TotalHaskell.hs
    • Trans.hs
    • Truespec.hs
    • Tyclass0_unsafe.hs
    • TypeLitNat.hs
    • Variance.hs
    • Variance1.hs
    • Vector00.hs
    • Vector0a.hs
    • Vector1a.hs
    • Vector2.hs
    • VerifiedNum.hs
    • Wrap0.hs
    • Wrap1.hs
  • pos/
    • AVL.hs
    • AVLRJ.hs
    • Abs.hs
    • Absref_crash.hs
    • Absref_crash0.hs
    • Ackermann.hs
    • Adt0.hs
    • AdtList0.hs
    • AdtList1.hs
    • AdtList2.hs
    • AdtList3.hs
    • AdtList4.hs
    • AdtList5.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • Alias00.hs
    • Alias01.hs
    • Alphaconvert_List.hs
    • Alphaconvert_Set.hs
    • AmortizedQueue.hs
    • Anfbug.hs
    • Anftest.hs
    • Anish1.hs
    • Assume.hs
    • AssumedRecursive.hs
    • AutoSize.hs
    • AutoTerm.hs
    • AutoTerm1.hs
    • Automate.hs
    • Avg.hs
    • BST.hs
    • BST000.hs
    • Bag1.hs
    • BangPatterns.hs
    • BinarySearch.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • Bool0.hs
    • Bool1.hs
    • Bool2.hs
    • Bounds1.hs
    • Case_lambda_join.hs
    • CasesToLogic.hs
    • Cat.hs
    • CharLiterals.hs
    • CheckedNum.hs
    • CheckedNumLib.hs
    • Chunks.hs
    • Class.hs
    • Class2.hs
    • ClassReg.hs
    • Client521.hs
    • ClojurVector.hs
    • Cmptag0.hs
    • Coercion.hs
    • Comma.hs
    • CommentedOut.hs
    • Compare.hs
    • Compare1.hs
    • Compare2.hs
    • CompareConstraints.hs
    • Comprehension.hs
    • ComprehensionTerm.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • Coretologic.hs
    • CountMonad.hs
    • Csgordon_issue_296.hs
    • Cut00.hs
    • DB00.hs
    • Data2.hs
    • DataBase.hs
    • DataConQuals.hs
    • Datacon0.hs
    • Datacon1.hs
    • Datacon_inv.hs
    • Deepmeas0.hs
    • DepData.hs
    • DepTriples.hs
    • DependentPairs.hs
    • DependentPairsFun.hs
    • Deptup.hs
    • Deptup1.hs
    • Deptup3.hs
    • DeptupW.hs
    • Div000.hs
    • Dropwhile.hs
    • Duplicate_bind.hs
    • Elements.hs
    • Elems.hs
    • Elim00.hs
    • Elim01.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
    • Eq_poly_measure.hs
    • Eqelems.hs
    • Eval.hs
    • EvalQuery.hs
    • Even.hs
    • Even0.hs
    • Ex0.hs
    • Ex01.hs
    • Ex1.hs
    • ExactADT6.hs
    • ExactGADT.hs
    • ExactGADT0.hs
    • ExactGADT1.hs
    • ExactGADT2.hs
    • ExactGADT6.hs
    • Exp0.hs
    • Extype.hs
    • FFI.hs
    • Fail.hs
    • FailName.hs
    • FancyMutualTerm.hs
    • FancyTerm.hs
    • Fib0.hs
    • FibEq.hs
    • FilterAbs.hs
    • FingerTree.hs
    • FoldN.hs
    • Foldl.hs
    • Foldr.hs
    • Foo.hs
    • For.hs
    • Forloop.hs
    • Fractional.hs
    • FractionalInstance.hs
    • GCD.hs
    • GadtEval.hs
    • GeneralizedTermination.hs
    • GhcSort1.hs
    • GhcSort2.hs
    • GhcSort3.hs
    • GhcSort3_T.hs
    • Gimme.hs
    • Go.hs
    • Go_ugly_type.hs
    • GoodHMeas.hs
    • Graph.hs
    • Grty0.hs
    • Grty1.hs
    • Grty2.hs
    • Grty3.hs
    • GuardedNegative.hs
    • HasElem.hs
    • HaskellMeasure.hs
    • HedgeUnion.hs
    • Hello.hs
    • Hex00.hs
    • HigherOrderRecFun.hs
    • Hole00.hs
    • Hole_app.hs
    • Hole_fun.hs
    • Holes.hs
    • Holes_Slicing.hs
    • Hutton.hs
    • IcfpDemo.hs
    • IdNat.hs
    • IdNat0.hs
    • Ignores.hs
    • Imp0.hs
    • Implies.hs
    • Infinity.hs
    • Infix.hs
    • Inline.hs
    • Inline1.hs
    • Invlhs.hs
    • Ite.hs
    • Ite1.hs
    • Jeff.hs
    • Keys.hs
    • Kmp.hs
    • KmpIO.hs
    • KmpVec.hs
    • LNot.hs
    • LambdaDeBruijn.hs
    • LambdaEval.hs
    • LambdaEvalMini.hs
    • LambdaEvalSuperTiny.hs
    • LambdaEvalTiny.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • Lets.hs
    • Lex.hs
    • Lib521.hs
    • ListAnf.hs
    • ListConcat.hs
    • ListElem.hs
    • ListISort_bag.hs
    • ListISort_perm.hs
    • ListKeys.hs
    • ListLen.hs
    • ListLen_LType.hs
    • ListMSort.hs
    • ListMSort_LType.hs
    • ListQSort_LType.hs
    • ListRange.hs
    • ListRange_LType.hs
    • ListReverse_LType.hs
    • ListSet.hs
    • ListSetDemo.hs
    • ListSort.hs
    • Listqual.hs
    • Lit.hs
    • Lit00.hs
    • Lit02.hs
    • LocalHole.hs
    • LocalLazy.hs
    • LocalSpec.hs
    • LocalSpecLib.hs
    • LogicCurry1.hs
    • Loo.hs
    • LooLib.hs
    • LooLibLib.hs
    • Malformed0.hs
    • Map.hs
    • Map0.hs
    • Map2.hs
    • MapFusion.hs
    • MapReduceVerified.hs
    • MapTvCrash.hs
    • Mapreduce_bare.hs
    • Maps.hs
    • Maps1.hs
    • MaskError.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
    • MeasureContains.hs
    • MeasureDups.hs
    • MeasureSets.hs
    • Measures.hs
    • Measures1.hs
    • Merge1.hs
    • MergeSort.hs
    • MergeSort_bag.hs
    • Mod.hs
    • ModLib.hs
    • ModTest.hs
    • Monad2.hs
    • Monad5.hs
    • Monad6.hs
    • Multi_pred_app_00.hs
    • Mutrec.hs
    • MutualRec.hs
    • MutuallyDependentADT.hs
    • Nats.hs
    • Niki.hs
    • Niki1.hs
    • NoCaseExpand.hs
    • NoExhaustiveGuardsError.hs
    • NoPositivityCheck.hs
    • Null.hs
    • ORM.hs
    • OrdList.hs
    • Pair.hs
    • Pair0.hs
    • Pair00.hs
    • PairMeasure.hs
    • PairMeasure0.hs
    • Pargs.hs
    • Pargs1.hs
    • Partial_tycon.hs
    • Partialmeasure.hs
    • Permutation.hs
    • PersistentVector.hs
    • Ple1.hs
    • PointDist.hs
    • Poly0.hs
    • Poly1.hs
    • Poly2.hs
    • Poly2_degenerate.hs
    • Poly3.hs
    • Poly3a.hs
    • Poly4.hs
    • Polyfun.hs
    • Polyqual.hs
    • PositivityCheck.hs
    • Poslist.hs
    • Poslist_dc.hs
    • Pragma0.hs
    • Pred.hs
    • PrimInt0.hs
    • Product.hs
    • Profcrasher.hs
    • PromotedDataCons.hs
    • Propability.hs
    • Propmeasure.hs
    • Propmeasure1.hs
    • QQTySig.hs
    • QQTySigTyVars.hs
    • QQTySyn.hs
    • QualTest.hs
    • RBTree.hs
    • RBTree_col_height.hs
    • RBTree_color.hs
    • RBTree_height.hs
    • RBTree_ord.hs
    • Range.hs
    • Range1.hs
    • RangeAdt.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
    • Rec_annot_go.hs
    • Record0.hs
    • Record1.hs
    • RecordSelectorError.hs
    • Recursion0.hs
    • Reduction.hs
    • RefinedADTs.hs
    • Reflect0.hs
    • ReflectAlias.hs
    • ReflectBooleanFunctions.hs
    • ReflectMutual.hs
    • RelativeComplete.hs
    • Repeat.hs
    • RepeatHigherOrder.hs
    • Resolve.hs
    • ResolveA.hs
    • ResolveALib.hs
    • ResolveB.hs
    • ResolveBLib.hs
    • ResolvePred.hs
    • Rest.hs
    • Risers.hs
    • Rta.hs
    • SafePartialFunctions.hs
    • Scanr.hs
    • SelfList.hs
    • SimplerNotation.hs
    • SimplifyTup00.hs
    • SingletonLists.hs
    • Solver.hs
    • Spec0.hs
    • StackClass.hs
    • StackMachine.hs
    • Stacks0.hs
    • State.hquals
    • State.hs
    • State00.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StateF00.hs
    • StateInvarint.hs
    • StateLib.hs
    • Streams.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • String00.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
    • T1045aLib.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.hs
    • T1278_2.hs
    • T1278_3.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
    • T2091.hs
    • T2093.hs
    • T2096.hs
    • T385.hs
    • T531.hs
    • T595.hs
    • T595a.hs
    • T598.hs
    • T716.hs
    • T819.hs
    • T819A.hs
    • T820.hs
    • T866.hs
    • T914.hs
    • TagBinder.hs
    • Take.hs
    • Term.hs
    • Term0.hs
    • Termination.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • Test0.hs
    • Test00.hs
    • Test000.hs
    • Test00_int.hs
    • Test00_old.hs
    • Test00b.hs
    • Test00c.hs
    • Test1.hs
    • Test2.hs
    • Test761.hs
    • TestRec.hs
    • TokenType.hs
    • Top0.hs
    • TopLevel.hs
    • ToyMVar.hs
    • Trans.hs
    • TransTAG.hs
    • Transpose.hs
    • Tup0.hs
    • Tupparse.hs
    • TyExpr.hs
    • Tyclass0.hs
    • Tyfam0.hs
    • TypeAlias.hs
    • TypeLitNat.hs
    • TypeLitString.hs
    • Tyvar.hs
    • UnboxedTuples.hs
    • UnboxedTuplesAndTH.hs
    • UndecidedGuards.hs
    • Unusedtyvars.hs
    • Variance.hs
    • Variance2.hs
    • Vector00.hs
    • Vector1.hs
    • Vector1a.hs
    • Vector1b.hs
    • Vector2.hs
    • VerifiedNum.hs
    • WBL.hs
    • WBL0.hs
    • WhyLH.hs
    • Words.hs
    • Words1.hs
    • Wrap0.hs
    • Wrap1.hs
    • WrapUnWrap.hs
    • ZipSO.hs
    • ZipW.hs
    • ZipW1.hs
    • ZipW2.hs
    • Zipper.hs
    • Zipper0.hs
    • Zipper000.hs
    • isort_erase.hs
    • listSet.hquals
    • selfList.hquals
    • test000.hs.hquals