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

Directory listing for ideas-0.7 source tarball

ideas-0.7/

• CREDITS.txt
• LICENSE.txt
• Setup.lhs
• ideas.cabal
• src/
  • Main.hs
  • Common/
    • Classes.hs
    • Context.hs
    • Derivation.hs
    • Exercise.hs
    • Id.hs
    • Library.hs
    • Navigator.hs
    • Rewriting.hs
    • Strategy.hs
    • StringRef.hs
    • TestSuite.hs
    • Transformation.hs
    • Uniplate.hs
    • Utils.hs
    • View.hs
    • Rewriting/
      • AC.hs
      • Axioms.hs
      • Confluence.hs
      • Difference.hs
      • Group.hs
      • Operator.hs
      • RewriteRule.hs
      • Substitution.hs
      • Term.hs
      • Unification.hs
    • Strategy/
      • Abstract.hs
      • Combinators.hs
      • Configuration.hs
      • Core.hs
      • Location.hs
      • Parsing.hs
      • Prefix.hs
  • Documentation/
    • DefaultPage.hs
    • DerivationUnitTests.hs
    • ExercisePage.hs
    • Make.hs
    • OverviewPages.hs
    • RulePage.hs
    • RulePresenter.hs
    • SelfCheck.hs
    • ServicePage.hs
    • TestsPage.hs
  • Domain/
    • LinearAlgebra.hs
    • Logic.hs
    • RelationAlgebra.hs
    • LinearAlgebra/
      • Checks.hs
      • EquationsRules.hs
      • Exercises.hs
      • GramSchmidtRules.hs
      • LinearSystem.hs
      • LinearView.hs
      • Matrix.hs
      • MatrixRules.hs
      • Parser.hs
      • Strategies.hs
      • Vector.hs
    • Logic/
      • BuggyRules.hs
      • Examples.hs
      • Exercises.hs
      • FeedbackText.hs
      • Formula.hs
      • GeneralizedRules.hs
      • Generator.hs
      • Parser.hs
      • Proofs.hs
      • Rules.hs
      • Strategies.hs
      • Views.hs
    • Math/
      • Approximation.hs
      • Clipboard.hs
      • Expr.hs
      • Simplification.hs
      • Data/
        • Interval.hs
        • OrList.hs
        • Polynomial.hs
        • PrimeFactors.hs
        • Relation.hs
        • SquareRoot.hs
      • Derivative/
        • Exercises.hs
        • Rules.hs
        • Strategies.hs
      • Equation/
        • BalanceRules.hs
        • CoverUpExercise.hs
        • CoverUpRules.hs
        • Views.hs
      • Examples/
        • DWO1.hs
        • DWO2.hs
        • DWO3.hs
        • DWO4.hs
        • DWO5.hs
      • Expr/
        • Data.hs
        • Parser.hs
        • Symbols.hs
        • Views.hs
      • Numeric/
        • Exercises.hs
        • Generators.hs
        • Laws.hs
        • Rules.hs
        • Strategies.hs
        • Tests.hs
        • Views.hs
      • Polynomial/
        • BuggyRules.hs
        • CleanUp.hs
        • Equivalence.hs
        • Exercises.hs
        • Generators.hs
        • IneqExercises.hs
        • LeastCommonMultiple.hs
        • RationalExercises.hs
        • RationalRules.hs
        • Rules.hs
        • Strategies.hs
        • Tests.hs
        • Views.hs
      • Power/
        • Exercises.hs
        • NormViews.hs
        • OldViews.hs
        • Rules.hs
        • Strategies.hs
        • Utils.hs
        • Views.hs
        • Equation/
          • Exercises.hs
          • NormViews.hs
          • Rules.hs
          • Strategies.hs
      • SquareRoot/
        • Tests.hs
        • Views.hs
    • RelationAlgebra/
      • Exercises.hs
      • Formula.hs
      • Generator.hs
      • Parser.hs
      • Rules.hs
      • Strategies.hs
  • Main/
    • IDEAS.hs
    • LoggingDatabase.hs
    • Options.hs
    • Revision.hs
  • Service/
    • BasicServices.hs
    • Diagnose.hs
    • DomainReasoner.hs
    • Evaluator.hs
    • ExercisePackage.hs
    • FeedbackText.hs
    • ModeJSON.hs
    • ModeXML.hs
    • ProblemDecomposition.hs
    • Request.hs
    • RulesInfo.hs
    • ServiceList.hs
    • State.hs
    • StrategyInfo.hs
    • Submit.hs
    • TypedExample.hs
    • Types.hs
  • Text/
    • HTML.hs
    • JSON.hs
    • Parsing.hs
    • Scanning.hs
    • UTF8.hs
    • XML.hs
    • OpenMath/
      • ContentDictionary.hs
      • FMP.hs
      • MakeSymbols.hs
      • Object.hs
      • Symbol.hs
      • Tests.hs
      • Dictionary/
        • Arith1.hs
        • Calculus1.hs
        • Fns1.hs
        • Linalg2.hs
        • List1.hs
        • Logic1.hs
        • Nums1.hs
        • Quant1.hs
        • Relation1.hs
        • Transc1.hs
    • XML/
      • Document.hs
      • Interface.hs
      • ParseLib.hs
      • Parser.hs
      • TestSuite.hs
      • Unicode.hs