Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for ideas-0.7 source tarball
ideas-0.7/
CREDITS.txt
LICENSE.txt
Setup.lhs
ideas.cabal
src/
Main.hs
Common/
Classes.hs
Context.hs
Derivation.hs
Exercise.hs
Id.hs
Library.hs
Navigator.hs
Rewriting.hs
Strategy.hs
StringRef.hs
TestSuite.hs
Transformation.hs
Uniplate.hs
Utils.hs
View.hs
Rewriting/
AC.hs
Axioms.hs
Confluence.hs
Difference.hs
Group.hs
Operator.hs
RewriteRule.hs
Substitution.hs
Term.hs
Unification.hs
Strategy/
Abstract.hs
Combinators.hs
Configuration.hs
Core.hs
Location.hs
Parsing.hs
Prefix.hs
Documentation/
DefaultPage.hs
DerivationUnitTests.hs
ExercisePage.hs
Make.hs
OverviewPages.hs
RulePage.hs
RulePresenter.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
Vector.hs
Logic/
BuggyRules.hs
Examples.hs
Exercises.hs
FeedbackText.hs
Formula.hs
GeneralizedRules.hs
Generator.hs
Parser.hs
Proofs.hs
Rules.hs
Strategies.hs
Views.hs
Math/
Approximation.hs
Clipboard.hs
Expr.hs
Simplification.hs
Data/
Interval.hs
OrList.hs
Polynomial.hs
PrimeFactors.hs
Relation.hs
SquareRoot.hs
Derivative/
Exercises.hs
Rules.hs
Strategies.hs
Equation/
BalanceRules.hs
CoverUpExercise.hs
CoverUpRules.hs
Views.hs
Examples/
DWO1.hs
DWO2.hs
DWO3.hs
DWO4.hs
DWO5.hs
Expr/
Data.hs
Parser.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
LeastCommonMultiple.hs
RationalExercises.hs
RationalRules.hs
Rules.hs
Strategies.hs
Tests.hs
Views.hs
Power/
Exercises.hs
NormViews.hs
OldViews.hs
Rules.hs
Strategies.hs
Utils.hs
Views.hs
Equation/
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
Main/
IDEAS.hs
LoggingDatabase.hs
Options.hs
Revision.hs
Service/
BasicServices.hs
Diagnose.hs
DomainReasoner.hs
Evaluator.hs
ExercisePackage.hs
FeedbackText.hs
ModeJSON.hs
ModeXML.hs
ProblemDecomposition.hs
Request.hs
RulesInfo.hs
ServiceList.hs
State.hs
StrategyInfo.hs
Submit.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
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
ParseLib.hs
Parser.hs
TestSuite.hs
Unicode.hs