Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for ideas-0.5.8 source tarball
ideas-0.5.8/src/
Common/
Apply.hs
Context.hs
Derivation.hs
Exercise.hs
Grammar.hs
Rewriting.hs
Strategy.hs
Transformation.hs
Traversable.hs
Uniplate.hs
Utils.hs
View.hs
Rewriting/
AC.hs
Confluence.hs
Difference.hs
MetaVar.hs
RewriteRule.hs
Substitution.hs
Unification.hs
Domain/
LinearAlgebra.hs
Logic.hs
Programming.hs
RelationAlgebra.hs
LinearAlgebra/
Checks.hs
EquationsRules.hs
Exercises.hs
GramSchmidtRules.hs
LinearSystem.hs
LinearView.hs
Matrix.hs
MatrixRules.hs
Parser.hs
Strategies.hs
Symbols.hs
Vector.hs
Logic/
BuggyRules.hs
Exercises.hs
FeedbackText.hs
Formula.hs
GeneralizedRules.hs
Generator.hs
Parser.hs
Rules.hs
Strategies.hs
Math/
Approximation.hs
DerivativeExercise.hs
DerivativeRules.hs
Expr.hs
Simplification.hs
Data/
Equation.hs
OrList.hs
Polynomial.hs
PrimeFactors.hs
SquareRoot.hs
Equation/
CoverUpExercise.hs
CoverUpRules.hs
Views.hs
Examples/
DWO1.hs
DWO2.hs
Expr/
Conversion.hs
Data.hs
Parser.hs
Symbolic.hs
Symbols.hs
Views.hs
Numeric/
Exercises.hs
Generators.hs
Laws.hs
Rules.hs
Strategies.hs
Views.hs
Polynomial/
BuggyRules.hs
CleanUp.hs
Exercises.hs
Generators.hs
Rules.hs
Strategies.hs
Views.hs
Power/
Views.hs
SquareRoot/
Views.hs
Strategy/
BrokenEquations.hs
Modulus.hs
SquareRootEquations.hs
SquareRootSimplification.hs
RelationAlgebra/
Equivalence.hs
Exercises.hs
Formula.hs
Generator.hs
Parser.hs
Rules.hs
Strategies.hs
Service/
ExerciseList.hs
FeedbackText.hs
LoggingDatabase.hs
Main.hs
ModeJSON.hs
ModeXML.hs
Options.hs
ProblemDecomposition.hs
Request.hs
Revision.hs
SearchSpace.hs
ServiceList.hs
TypedAbstractService.hs
Types.hs
Text/
HTML.hs
JSON.hs
Parsing.hs
UTF8.hs
XML.hs
OpenMath/
ContentDictionary.hs
MakeSymbols.hs
Object.hs
Reply.hs
Request.hs
Symbol.hs
Dictionary/
Arith1.hs
Calculus1.hs
Fns1.hs
Linalg2.hs
List1.hs
Logic1.hs
Nums1.hs
Relation1.hs
Transc1.hs
XML/
Document.hs
Interface.hs
ParseLib.hs
Parser.hs
TestSuite.hs
Unicode.hs