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

Directory listing for ideas-math-1.2 source tarball

ideas-math-1.2/

• CREDITS.txt
• LICENSE.txt
• Setup.lhs
• ideas-math.cabal
• scripts/
  • logic.txt
  • math.lineq-en.txt
  • math.polyeq-en.txt
  • math.quadreq-en.txt
• 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