lib:ideas

Modules

• Ideas.Common.Classes
• Ideas.Common.Constraint
• Ideas.Common.Context
• Ideas.Common.Derivation
• Ideas.Common.DerivationTree
• Ideas.Common.Environment
• Ideas.Common.Examples
• Ideas.Common.Exercise
• Ideas.Common.ExerciseTests
• Ideas.Common.Id
• Ideas.Common.Library
• Ideas.Common.Predicate
• Ideas.Common.Rewriting
• Ideas.Common.Rewriting.AC
• Ideas.Common.Rewriting.AutoTerm
• Ideas.Common.Rewriting.Confluence
• Ideas.Common.Rewriting.Difference
• Ideas.Common.Rewriting.RewriteRule
• Ideas.Common.Rewriting.Substitution
• Ideas.Common.Rewriting.Term
• Ideas.Common.Rewriting.Unification
• Ideas.Common.Rule
• Ideas.Common.Rule.Abstract
• Ideas.Common.Rule.Parameter
• Ideas.Common.Rule.Recognizer
• Ideas.Common.Rule.Transformation
• Ideas.Common.Strategy
• Ideas.Common.Strategy.Abstract
• Ideas.Common.Strategy.Choice
• Ideas.Common.Strategy.Combinators
• Ideas.Common.Strategy.Configuration
• Ideas.Common.Strategy.CyclicTree
• Ideas.Common.Strategy.Derived
• Ideas.Common.Strategy.Legacy
• Ideas.Common.Strategy.Location
• Ideas.Common.Strategy.Prefix
• Ideas.Common.Strategy.Process
• Ideas.Common.Strategy.Sequence
• Ideas.Common.Strategy.StrategyTree
• Ideas.Common.Strategy.Symbol
• Ideas.Common.Strategy.Traversal
• Ideas.Common.Traversal.Iterator
• Ideas.Common.Traversal.Navigator
• Ideas.Common.Traversal.Tests
• Ideas.Common.Traversal.Utils
• Ideas.Common.View
• Ideas.Encoding.DecoderJSON
• Ideas.Encoding.DecoderXML
• Ideas.Encoding.Encoder
• Ideas.Encoding.EncoderHTML
• Ideas.Encoding.EncoderJSON
• Ideas.Encoding.EncoderXML
• Ideas.Encoding.Evaluator
• Ideas.Encoding.LinkManager
• Ideas.Encoding.Logging
• Ideas.Encoding.ModeJSON
• Ideas.Encoding.ModeXML
• Ideas.Encoding.OpenMathSupport
• Ideas.Encoding.Options
• Ideas.Encoding.Request
• Ideas.Encoding.RulePresenter
• Ideas.Encoding.RulesInfo
• Ideas.Encoding.StrategyInfo
• Ideas.Main.CGI
• Ideas.Main.CmdLineOptions
• Ideas.Main.Default
• Ideas.Main.Revision
• Ideas.Service.BasicServices
• Ideas.Service.Diagnose
• Ideas.Service.DomainReasoner
• Ideas.Service.FeedbackScript.Analysis
• Ideas.Service.FeedbackScript.Parser
• Ideas.Service.FeedbackScript.Run
• Ideas.Service.FeedbackScript.Syntax
• Ideas.Service.FeedbackText
• Ideas.Service.ProblemDecomposition
• Ideas.Service.ServiceList
• Ideas.Service.State
• Ideas.Service.Submit
• Ideas.Service.Types
• Ideas.Text.HTML
• Ideas.Text.HTML.Templates
• Ideas.Text.HTML.W3CSS
• Ideas.Text.JSON
• Ideas.Text.Latex
• Ideas.Text.MathML
• Ideas.Text.OpenMath.Dictionary.Arith1
• Ideas.Text.OpenMath.Dictionary.Calculus1
• Ideas.Text.OpenMath.Dictionary.Fns1
• Ideas.Text.OpenMath.Dictionary.Linalg2
• Ideas.Text.OpenMath.Dictionary.List1
• Ideas.Text.OpenMath.Dictionary.Logic1
• Ideas.Text.OpenMath.Dictionary.Nums1
• Ideas.Text.OpenMath.Dictionary.Quant1
• Ideas.Text.OpenMath.Dictionary.Relation1
• Ideas.Text.OpenMath.Dictionary.Transc1
• Ideas.Text.OpenMath.FMP
• Ideas.Text.OpenMath.Object
• Ideas.Text.OpenMath.Symbol
• Ideas.Text.OpenMath.Tests
• Ideas.Text.UTF8
• Ideas.Text.XML
• Ideas.Text.XML.Document
• Ideas.Text.XML.Parser
• Ideas.Text.XML.Unicode
• Ideas.Utils.BlackBoxTests
• Ideas.Utils.Decoding
• Ideas.Utils.Parsing
• Ideas.Utils.Prelude
• Ideas.Utils.QuickCheck
• Ideas.Utils.StringRef
• Ideas.Utils.TestSuite
• Ideas.Utils.Typeable
• Ideas.Utils.Uniplate

Dependencies

• Diff lib:Diff >=0
• HDBC lib:HDBC >=0
• HDBC-sqlite3 lib:HDBC-sqlite3 >=0
• QuickCheck lib:QuickCheck >=2.8 && <2.12
• base lib:base >=4.8 && <5
• blaze-builder lib:blaze-builder >=0.4
• bytestring lib:bytestring >=0
• case-insensitive lib:case-insensitive >=0
• containers lib:containers >=0
• directory lib:directory >=0
• filepath lib:filepath >=0
• http-types lib:http-types >=0
• mtl lib:mtl >=0
• network lib:network >=0
• parsec lib:parsec >=0
• random lib:random >=0
• semigroups lib:semigroups >=0.18 && <0.19
• streaming-commons lib:streaming-commons <0.2
• time lib:time >=0
• uniplate lib:uniplate >=0
• wai lib:wai >=0
• wl-pprint lib:wl-pprint >=0

Reverse dependencies

Direct only. Not exhaustive.

• Advise-me exe:advise-me-admin.cgi
• Advise-me exe:advise-me.cgi
• Advise-me exe:database-builder.exe
• Advise-me lib:Advise-me
• acme-everything lib:acme-everything
• ideas-math-types lib:ideas-math-types
• ideas-statistics exe:statistics.cgi