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

Directory listing for liquidhaskell-0.8.2.3 source tarball

liquidhaskell-0.8.2.3/

• CHANGES.md
• LICENSE
• README.md
• Setup.hs
• liquidhaskell.cabal
• 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
    • Either.spec
    • Foldable.spec
    • Int.spec
    • List.spec
    • Maybe.spec
    • Set.spec
    • String.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
    • 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
        • Example.hs
        • Foreign.hs
        • List.hs
        • NewProofCombinators.hs
        • Prelude.hs
        • Prelude.pred
        • ProofCombinators.hs
        • String.hs
  • System/
    • IO.spec
• src/
  • Liquid.hs
  • LiquidHaskell.hs
  • Gradual/
    • Concretize.hs
    • GUI.hs
    • Misc.hs
    • PrettyPrinting.hs
    • Refinements.hs
    • Trivial.hs
    • Types.hs
    • Uniquify.hs
    • GUI/
      • Annotate.hs
      • Misc.hs
      • Types.hs
  • Language/
    • Haskell/
      • Liquid/
        • Bare.hs
        • Liquid.hs
        • Measure.hs
        • Misc.hs
        • Model.hs
        • Parse.hs
        • Types.hs
        • WiredIn.hs
        • Bare/
          • Axiom.hs
          • Check.hs
          • DataType.hs
          • Env.hs
          • Existential.hs
          • Expand.hs
          • Lookup.hs
          • Measure.hs
          • Misc.hs
          • OfType.hs
          • Plugged.hs
          • RTEnv.hs
          • Resolve.hs
          • Spec.hs
          • SymSort.hs
          • ToBare.hs
        • Constraint/
          • Constraint.hs
          • Env.hs
          • Fresh.hs
          • Generate.hs
          • Init.hs
          • Monad.hs
          • Qualifier.hs
          • Split.hs
          • ToFixpoint.hs
          • Types.hs
        • Desugar/
          • Check.hs
          • Coverage.hs
          • Desugar.hs
          • DsArrows.hs
          • DsBinds.hs
          • DsCCall.hs
          • DsExpr.hs
          • DsExpr.hs-boot
          • DsForeign.hs
          • DsGRHSs.hs
          • DsListComp.hs
          • DsMeta.hs
          • DsMeta.hs-boot
          • DsMonad.hs
          • DsUtils.hs
          • HscMain.hs
          • Match.hs
          • Match.hs-boot
          • MatchCon.hs
          • MatchLit.hs
          • StaticPtrTable.hs
          • TmOracle.hs
        • GHC/
          • Interface.hs
          • Misc.hs
          • Play.hs
          • Resugar.hs
          • SpanStack.hs
          • TypeRep.hs
        • Interactive/
          • Handler.hs
          • Types.hs
        • Transforms/
          • ANF.hs
          • CoreToLogic.hs
          • Rec.hs
          • RefSplit.hs
          • Rewrite.hs
          • Simplify.hs
        • Types/
          • Bounds.hs
          • Dictionaries.hs
          • Errors.hs
          • Fresh.hs
          • Literals.hs
          • Meet.hs
          • Names.hs
          • PredType.hs
          • PrettyPrint.hs
          • RefType.hs
          • Specifications.hs
          • Strata.hs
          • Variance.hs
          • Visitors.hs
        • UX/
          • ACSS.hs
          • Annotate.hs
          • CTags.hs
          • CmdLine.hs
          • Config.hs
          • DiffCheck.hs
          • Errors.hs
          • QuasiQuoter.hs
          • Tidy.hs
  • Test/
    • Target.hs
    • Target/
      • Eval.hs
      • Expr.hs
      • Monad.hs
      • Targetable.hs
      • Testable.hs
      • Types.hs
      • Util.hs
      • Targetable/
        • Function.hs
• syntax/
  • liquid.css
• tests/
  • Parser.hs
  • test.hs
  • errors/
    • AmbiguousInline.hs
    • AmbiguousReflect.hs
    • BadAliasApp.hs
    • BadAnnotation.hs
    • BadAnnotation1.hs
    • BadData1.hs
    • BadData2.hs
    • BadDataCon2.hs
    • BadDataConType.hs
    • BadDataDeclTyVars.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
    • EmptyData.hs
    • ExportMeasure0.hs
    • ExportMeasure1.hs
    • ExportReflect0.hs
    • Fractional.hs
    • HigherOrderBinder.hs
    • HoleCrash1.hs
    • HoleCrash2.hs
    • HoleCrash3.hs
    • Inconsistent0.hs
    • Inconsistent1.hs
    • Inconsistent2.hs
    • LiftMeasureCase.hs
    • LocalHole.hs
    • MissingAbsRefArgs.hs
    • MissingSizeFun.hs
    • MultiInstMeasures.hs
    • MultiRecSels.hs
    • ParseBind.hs
    • ParseClass.hs
    • ShadowFieldInline.hs
    • ShadowFieldReflect.hs
    • ShadowMeasure.hs
    • ShadowMeasureVar.hs
    • T1140.hs
    • T773.hs
    • T774.hs
    • TODOUnboundAbsRef.hs
    • TODOVarInTypeAlias.hs
    • TerminationExprNum.hs
    • TerminationExprSort.hs
    • TerminationExprUnb.hs
    • UnboundAbsRef.hs
    • UnboundFunInSpec.hs
    • UnboundFunInSpec1.hs
    • UnboundFunInSpec2.hs
    • UnboundVarInAssume.hs
    • UnboundVarInSpec.hs
  • ffi-include/
    • foo.c
    • foo.h
  • import/
    • client/
      • ExactGADT9.hs
      • ListClient.hs
      • RC1015.hs
      • ReflectClient0.hs
      • ReflectClient1.hs
      • ReflectClient2.hs
      • ReflectClient3.hs
      • ReflectClient4.hs
      • ReflectClient4a.hs
      • ReflectClient5.hs
      • ReflectClient6.hs
      • ReflectClient7.hs
      • T1096_Foo.hs
      • T1104Client.hs
      • T1180.hs
    • lib/
      • Bools.hs
      • ExactGADT8.hs
      • ListLib.hs
      • Peano.hs
      • RL1015.hs
      • ReflectLib0.hs
      • ReflectLib1.hs
      • ReflectLib2.hs
      • ReflectLib3.hs
      • ReflectLib4.hs
      • ReflectLib5.hs
      • ReflectLib6.hs
      • ReflectLib7.hs
      • T1096_Types.hs
      • T1102_LibX.hs
      • T1102_LibY.hs
      • T1102_LibZ.hs
      • T1104Lib.hs
      • T1112.hs
      • T1112Lib.hs
      • T1117.hs
      • T1117Lib.hs
      • T1118.hs
      • T1118Lib1.hs
      • T1118Lib2.hs
  • neg/
    • AbsApp.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • AdtPeano2.hs
    • Ast.hs
    • AutoSize.hs
    • AutoTerm.hs
    • AutoTerm1.hs
    • Automate.hs
    • BadNats.hs
    • Baz.hs
    • BigNum.hs
    • BinahQuery.hs
    • BinahUpdate.hs
    • BinahUpdateClient.hs
    • BinahUpdateLib.hs
    • BinahUpdateLib1.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CastedTotality.hs
    • CheckedNum.hs
    • Class1.hs
    • Class2.hs
    • Class3.hs
    • Class4.hs
    • Class5.hs
    • Client.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • DependentTypes.hs
    • Eval.hs
    • EvalQuery.hs
    • Even.hs
    • ExactADT6.hs
    • ExactGADT5.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
    • Lib.hs
    • LibSpec.hs
    • LiquidClass.hs
    • LiquidClass1.hs
    • ListConcat.hs
    • ListElem.hs
    • ListISort-LType.hs
    • ListISort.hs
    • ListKeys.hs
    • ListMSort.hs
    • ListQSort.hs
    • ListRange.hs
    • LocalSpec.hs
    • MaybeMonad.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MergeSort.hs
    • MultiParamTypeClasses.hs
    • MultipleInvariants.hs
    • NewTypes.hs
    • NewTypes0.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
    • Strata.hs
    • StreamInvariants.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • Strings.hs
    • Sum.hs
    • T1013A.hs
    • T1078.hs
    • T1126.hs
    • T1173.hs
    • T1192.hs
    • T602.hs
    • T743-mini.hs
    • T743.hs
    • T745.hs
    • TermReal.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • TopLevel.hs
    • TotalHaskell.hs
    • TypeLitNat.hs
    • Variance.hs
    • Variance1.hs
    • VerifiedMonoid.hs
    • VerifiedNum.hs
    • alias00.hs
    • ass0.hs
    • bag.hs
    • bag1.hs
    • concat.hs
    • concat1.hs
    • concat2.hs
    • contra0.hs
    • coretologic.hs
    • csv.hs
    • datacon-eq.hs
    • deppair0.hs
    • deptupW.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
    • ple0.hs
    • poly0.hs
    • poly1.hs
    • poly2-degenerate.hs
    • poly2.hs
    • polypred.hs
    • poslist.hs
    • pragma0-unsafe.hs
    • pred.hs
    • prune0.hs
    • qsloop.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
    • testRec.hs
    • trans.hs
    • truespec.hs
    • tyclass0-unsafe.hs
    • vector0.hs
    • vector00.hs
    • vector0a.hs
    • vector1a.hs
    • vector2.hs
    • wrap0.hs
    • wrap1.hs
  • pos/
    • ANF.hs
    • AVL.hs
    • AVLRJ.hs
    • Abs.hs
    • Ackermann.hs
    • AdtList0.hs
    • AdtList1.hs
    • AdtList2.hs
    • AdtList3.hs
    • AdtList4.hs
    • AdtList5.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • AdtPeano2.hs
    • AmortizedQueue.hs
    • Assume.hs
    • AssumedRecursive.hs
    • AutoSize.hs
    • AutoTerm.hs
    • AutoTerm1.hs
    • Automate.hs
    • Avg.hs
    • BST.hs
    • BST000.hs
    • BinahQuery.hs
    • BinahUpdate.hs
    • BinarySearch.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CasesToLogic.hs
    • Cat.hs
    • CheckedNum.hs
    • Chunks.hs
    • Class.hs
    • Class2.hs
    • ClassReg.hs
    • Client521.hs
    • ClojurVector.hs
    • Coercion.hs
    • CommentedOut.hs
    • CompareConstraints.hs
    • Compiler.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • CountMonad.hs
    • DB00.hs
    • DataBase.hs
    • DataKinds.hs
    • DepData.hs
    • DepTriples.hs
    • DependentPairs.hs
    • DependentPairsFun.hs
    • Eval.hs
    • EvalQuery.hs
    • Even.hs
    • Even0.hs
    • ExactADT6.hs
    • ExactFunApp.hs
    • ExactGADT.hs
    • ExactGADT0.hs
    • ExactGADT1.hs
    • ExactGADT2.hs
    • ExactGADT4.hs
    • ExactGADT5.hs
    • ExactGADT6.hs
    • ExactGADT7.hs
    • ExactGADT8a.hs
    • ExactGADT9a.hs
    • FFI.hs
    • Fib0.hs
    • FibEq.hs
    • Foldl.hs
    • Foo.hs
    • Fractional.hs
    • FractionalInstance.hs
    • GCD.hs
    • GeneralizedTermination.hs
    • GhcListSort.hs
    • GhcSort1.hs
    • GhcSort2.hs
    • GhcSort3.hs
    • Goo.hs
    • GoodHMeas.hs
    • Graph.hs
    • HasElem.hs
    • HaskellMeasure.hs
    • HedgeUnion.hs
    • Hex00.hs
    • HigherOrderRecFun.hs
    • Holes-Slicing.hs
    • Holes.hs
    • Hutton.hs
    • IcfpDemo.hs
    • IndEven.hs
    • IndPerm.hs
    • IndStar.hs
    • Infinity.hs
    • Invariants.hs
    • Keys.hs
    • LambdaDeBruijn.hs
    • LambdaEval.hs
    • LambdaEvalMini.hs
    • LambdaEvalSuperTiny.hs
    • LambdaEvalTiny.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • Lib521.hs
    • LiquidArray.hs
    • LiquidClass.hs
    • ListConcat.hs
    • ListElem.hs
    • ListISort-LType.hs
    • ListISort-bag.hs
    • ListISort-perm.hs
    • ListISort.hs
    • ListKeys.hs
    • ListLen-LType.hs
    • ListLen.hs
    • ListMSort-LType.hs
    • ListMSort.hs
    • ListQSort-LType.hs
    • ListQSort.hs
    • ListRange-LType.hs
    • ListRange.hs
    • ListReverse-LType.hs
    • ListSort.hs
    • LocalHole.hs
    • LocalLazy.hs
    • LocalSpec.hs
    • LocalSpec0.hs
    • LocalSpecImp.hs
    • LocalTermExpr.hs
    • LogicCurry1.hs
    • Loo.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
    • Mod1.hs
    • Mod2.hs
    • Moo.hs
    • MultipleInvariants.hs
    • MutualRec.hs
    • NatClass.hs
    • NewType.hs
    • NoCaseExpand.hs
    • NoExhaustiveGuardsError.hs
    • ORM.hs
    • OrdList.hs
    • Overwrite.hs
    • PairMeasure.hs
    • PairMeasure0.hs
    • Permutation.hs
    • PersistentVector.hs
    • PlugHoles.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
    • RealProps1.hs
    • Rebind.hs
    • RecQSort.hs
    • RecQSort0.hs
    • RecSelector.hs
    • RecordAccessors.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
    • Solver.hs
    • StackClass.hs
    • StackMachine.hs
    • State.hquals
    • State.hs
    • State1.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StateF00.hs
    • StreamInvariants.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
    • T1045a.hs
    • T1060.hs
    • T1065.hs
    • T1074.hs
    • T1085.hs
    • T1089b.hs
    • T1092.hs
    • T1100.hs
    • T1120A.hs
    • T1126.hs
    • T1126a.hs
    • T1146.hs
    • T1173.hs
    • T1190.hs
    • T1220.hs
    • T1223.hs
    • T385.hs
    • T531.hs
    • T595.hs
    • T595a.hs
    • T598.hs
    • T675.hs
    • T716.hs
    • T819.hs
    • T819A.hs
    • T820.hs
    • T866.hs
    • T914.hs
    • TemplateHaskell.hs
    • TemplateHaskellImp.hs
    • Term.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
    • VerifiedMonoid.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
    • bag.hs
    • bag1.hs
    • bangPatterns.hs
    • bool0.hs
    • bool1.hs
    • bool2.hs
    • bounds1.hs
    • case-lambda-join.hs
    • cmptag0.hs
    • coerce1.hs
    • comma.hs
    • compare.hs
    • compare1.hs
    • compare2.hs
    • comprehension.hs
    • comprehensionTerm.hs
    • contra0.hs
    • coretologic.hs
    • csgordon_issue_296.hs
    • cut00.hs
    • data2.hs
    • dataConQuals.hs
    • datacon-inv.hs
    • datacon0.hs
    • datacon1.hs
    • deepmeas0.hs
    • deppair0.hs
    • deppair1.hs
    • deptup.hs
    • deptup0.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
    • filterPLE.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
    • initarray.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
    • maps2.hs
    • maybe.hs
    • maybe0.hs
    • maybe00.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
    • meas3.hs
    • meas4.hs
    • meas5.hs
    • meas6.hs
    • meas7.hs
    • meas8.hs
    • meas9.hs
    • modTest.hs
    • monad0.hs
    • monad1.hs
    • monad2.hs
    • monad5.hs
    • monad6.hs
    • monad7.hs
    • multi-pred-app-00.hs
    • mutrec.hs
    • nats.hs
    • niki.hs
    • niki1.hs
    • nullterm.hs
    • pair.hs
    • pair0.hs
    • pair00.hs
    • pargs.hs
    • pargs1.hs
    • partial-tycon.hs
    • partialmeasure.hs
    • ple0.hs
    • ple1.hs
    • pleORM.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
    • test000.hs
    • 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
    • vecloop.hs
    • vector0.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