Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for ideas-0.6 source tarball
ideas-0.6/
CREDITS.txt
LICENSE.txt
Setup.lhs
ideas.cabal
src/
Main.hs
Common/
Apply.hs
Context.hs
Derivation.hs
Exercise.hs
Navigator.hs
Rewriting.hs
Strategy.hs
Transformation.hs
Traversable.hs
Uniplate.hs
Utils.hs
View.hs
Rewriting/
AC.hs
Difference.hs
MetaVar.hs
RewriteRule.hs
Substitution.hs
Term.hs
Unification.hs
Strategy/
Abstract.hs
BiasedChoice.hs
Combinators.hs
Configuration.hs
Core.hs
Grammar.hs
Location.hs
Prefix.hs
Documentation/
DefaultPage.hs
ExercisePage.hs
LatexRules.hs
Make.hs
OverviewPages.hs
SelfCheck.hs
ServicePage.hs
TestsPage.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
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
Clipboard.hs
DerivativeExercise.hs
DerivativeRules.hs
Expr.hs
Simplification.hs
Data/
Interval.hs
OrList.hs
Polynomial.hs
PrimeFactors.hs
Relation.hs
SquareRoot.hs
Equation/
CoverUpExercise.hs
CoverUpRules.hs
Views.hs
Examples/
DWO1.hs
DWO2.hs
DWO3.hs
Expr/
Data.hs
Parser.hs
Symbolic.hs
Symbols.hs
Views.hs
Numeric/
Exercises.hs
Generators.hs
Laws.hs
Rules.hs
Strategies.hs
Tests.hs
Views.hs
Polynomial/
BuggyRules.hs
CleanUp.hs
Equivalence.hs
Exercises.hs
Generators.hs
IneqExercises.hs
Rules.hs
Strategies.hs
Tests.hs
Views.hs
Power/
Exercises.hs
Rules.hs
Strategies.hs
Views.hs
SquareRoot/
Tests.hs
Views.hs
RegularExpr/
Definitions.hs
Exercises.hs
Expr.hs
Parser.hs
Strategy.hs
RelationAlgebra/
Equivalence.hs
Exercises.hs
Formula.hs
Generator.hs
Parser.hs
Rules.hs
Strategies.hs
Main/
ExerciseList.hs
LoggingDatabase.hs
Options.hs
Revision.hs
Service/
Diagnose.hs
DomainReasoner.hs
ExercisePackage.hs
FeedbackText.hs
ModeJSON.hs
ModeXML.hs
ProblemDecomposition.hs
Request.hs
RulesInfo.hs
ServiceList.hs
StrategyInfo.hs
Submit.hs
TypedAbstractService.hs
TypedExample.hs
Types.hs
Text/
HTML.hs
JSON.hs
Parsing.hs
Scanning.hs
UTF8.hs
XML.hs
OpenMath/
ContentDictionary.hs
FMP.hs
MakeSymbols.hs
Object.hs
Symbol.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
ParseLib.hs
Parser.hs
TestSuite.hs
Unicode.hs