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

Directory listing for ideas-math-1.2 candidate source tarball

ideas-math-1.2/src/

• Main.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
    • Consequence.hs
    • Examples.hs
    • Exercises.hs
    • Formula.hs
    • GeneralizedRules.hs
    • Generator.hs
    • InverseRules.hs
    • Parser.hs
    • Proofs.hs
    • Rules.hs
    • Strategies.hs
    • Utils.hs
    • Views.hs
  • Math/
    • Approximation.hs
    • CleanUp.hs
    • ExerciseList.hs
    • Expr.hs
    • Safe.hs
    • Simplification.hs
    • Data/
      • DecimalFraction.hs
      • Interval.hs
      • MixedFraction.hs
      • OrList.hs
      • Polynomial.hs
      • PrimeFactors.hs
      • Primes.hs
      • Relation.hs
      • SquareRoot.hs
      • TestingClassLaws.hs
      • WithBool.hs
    • Derivative/
      • Examples.hs
      • Exercises.hs
      • Rules.hs
      • Strategies.hs
    • Equation/
      • BalanceRules.hs
      • CoverUpExercise.hs
      • CoverUpRules.hs
      • Examples.hs
      • Views.hs
    • Expr/
      • Clipboard.hs
      • Data.hs
      • Parser.hs
      • Symbols.hs
      • Views.hs
    • Fraction/
      • Exercises.hs
      • Rules.hs
      • Strategies.hs
    • Numeric/
      • Examples.hs
      • Exercises.hs
      • Generators.hs
      • Rules.hs
      • Strategies.hs
      • Tests.hs
      • Views.hs
    • Polynomial/
      • Balance.hs
      • BalanceUtils.hs
      • BuggyBalance.hs
      • BuggyRules.hs
      • Equivalence.hs
      • Examples.hs
      • Exercises.hs
      • Generators.hs
      • IneqExercises.hs
      • LeastCommonMultiple.hs
      • RationalExamples.hs
      • RationalExercises.hs
      • RationalRules.hs
      • Rules.hs
      • Strategies.hs
      • Tests.hs
      • Views.hs
    • Power/
      • Examples.hs
      • Exercises.hs
      • NormViews.hs
      • OldViews.hs
      • Rules.hs
      • Strategies.hs
      • Utils.hs
      • Views.hs
      • Equation/
        • Examples.hs
        • 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