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

Directory listing for ideas-1.7 candidate source tarball

ideas-1.7/

• CHANGELOG.txt
• LICENSE.txt
• NOTICE.txt
• Setup.lhs
• ideas.cabal
• src/
  • Ideas/
    • Common/
      • Classes.hs
      • Constraint.hs
      • Context.hs
      • Derivation.hs
      • DerivationTree.hs
      • Environment.hs
      • Exercise.hs
      • ExerciseTests.hs
      • Id.hs
      • Library.hs
      • Predicate.hs
      • Rewriting.hs
      • Rule.hs
      • Strategy.hs
      • View.hs
      • Rewriting/
        • AC.hs
        • Confluence.hs
        • Difference.hs
        • RewriteRule.hs
        • Substitution.hs
        • Term.hs
        • Unification.hs
      • Rule/
        • Abstract.hs
        • Parameter.hs
        • Recognizer.hs
        • Transformation.hs
      • Strategy/
        • Abstract.hs
        • Choice.hs
        • Combinators.hs
        • Configuration.hs
        • CyclicTree.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
    • Encoding/
      • DecoderJSON.hs
      • DecoderXML.hs
      • Encoder.hs
      • EncoderHTML.hs
      • EncoderJSON.hs
      • EncoderXML.hs
      • Evaluator.hs
      • LinkManager.hs
      • Logging.hs
      • ModeJSON.hs
      • ModeXML.hs
      • OpenMathSupport.hs
      • Options.hs
      • Request.hs
      • RulePresenter.hs
      • RulesInfo.hs
      • StrategyInfo.hs
    • Main/
      • CGI.hs
      • CmdLineOptions.hs
      • Default.hs
      • Revision.hs
    • Service/
      • BasicServices.hs
      • Diagnose.hs
      • DomainReasoner.hs
      • FeedbackText.hs
      • ProblemDecomposition.hs
      • ServiceList.hs
      • State.hs
      • Submit.hs
      • Types.hs
      • FeedbackScript/
        • Analysis.hs
        • Parser.hs
        • Run.hs
        • Syntax.hs
    • Text/
      • HTML.hs
      • JSON.hs
      • Latex.hs
      • MathML.hs
      • UTF8.hs
      • XML.hs
      • HTML/
        • Templates.hs
        • W3CSS.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
    • Utils/
      • BlackBoxTests.hs
      • Parsing.hs
      • Prelude.hs
      • QuickCheck.hs
      • StringRef.hs
      • TestSuite.hs
      • Typeable.hs
      • Uniplate.hs