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

Directory listing for ideas-1.5 candidate source tarball

ideas-1.5/src/Ideas/

• Common/
  • Classes.hs
  • Context.hs
  • CyclicTree.hs
  • Derivation.hs
  • DerivationTree.hs
  • Environment.hs
  • Exercise.hs
  • ExerciseTests.hs
  • Id.hs
  • Library.hs
  • Predicate.hs
  • Rewriting.hs
  • Rule.hs
  • Strategy.hs
  • Utils.hs
  • View.hs
  • Algebra/
    • Boolean.hs
    • BooleanLaws.hs
    • Field.hs
    • FieldLaws.hs
    • Group.hs
    • GroupLaws.hs
    • Law.hs
    • SmartGroup.hs
  • Rewriting/
    • AC.hs
    • Confluence.hs
    • Difference.hs
    • RewriteRule.hs
    • Substitution.hs
    • Term.hs
    • Unification.hs
  • Rule/
    • Abstract.hs
    • EnvironmentMonad.hs
    • Parameter.hs
    • Recognizer.hs
    • Transformation.hs
  • Strategy/
    • Abstract.hs
    • Choice.hs
    • Combinators.hs
    • Configuration.hs
    • Derived.hs
    • Legacy.hs
    • Location.hs
    • Prefix.hs
    • Process.hs
    • Sequence.hs
    • StrategyTree.hs
    • Symbol.hs
    • Traversal.hs
  • Traversal/
    • Iterator.hs
    • Navigator.hs
    • Tests.hs
    • Utils.hs
  • Utils/
    • QuickCheck.hs
    • StringRef.hs
    • TestSuite.hs
    • Uniplate.hs
• Encoding/
  • DecoderJSON.hs
  • DecoderXML.hs
  • Encoder.hs
  • EncoderHTML.hs
  • EncoderJSON.hs
  • EncoderXML.hs
  • Evaluator.hs
  • LinkManager.hs
  • ModeJSON.hs
  • ModeXML.hs
  • OpenMathSupport.hs
  • RulePresenter.hs
  • RulesInfo.hs
  • StrategyInfo.hs
• Main/
  • BlackBoxTests.hs
  • Default.hs
  • Documentation.hs
  • Logging.hs
  • Options.hs
  • Revision.hs
• Service/
  • BasicServices.hs
  • Diagnose.hs
  • DomainReasoner.hs
  • FeedbackText.hs
  • ProblemDecomposition.hs
  • Request.hs
  • ServiceList.hs
  • State.hs
  • Submit.hs
  • Types.hs
  • FeedbackScript/
    • Analysis.hs
    • Parser.hs
    • Run.hs
    • Syntax.hs
• Text/
  • HTML.hs
  • JSON.hs
  • Parsing.hs
  • UTF8.hs
  • XML.hs
  • OpenMath/
    • FMP.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
    • Parser.hs
    • Unicode.hs