The latest version of ideas is 1.8-0.
lib:ideas
Modules
- Ideas.Common.Algebra.Boolean
- Ideas.Common.Algebra.BooleanLaws
- Ideas.Common.Algebra.Field
- Ideas.Common.Algebra.FieldLaws
- Ideas.Common.Algebra.Group
- Ideas.Common.Algebra.GroupLaws
- Ideas.Common.Algebra.Law
- Ideas.Common.Algebra.SmartGroup
- Ideas.Common.Classes
- Ideas.Common.Context
- Ideas.Common.CyclicTree
- Ideas.Common.Derivation
- Ideas.Common.DerivationTree
- Ideas.Common.Environment
- 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.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.EnvironmentMonad
- 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.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.Utils
- Ideas.Common.Utils.QuickCheck
- Ideas.Common.Utils.StringRef
- Ideas.Common.Utils.TestSuite
- Ideas.Common.Utils.Uniplate
- 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.ModeJSON
- Ideas.Encoding.ModeXML
- Ideas.Encoding.OpenMathSupport
- Ideas.Encoding.RulePresenter
- Ideas.Encoding.RulesInfo
- Ideas.Encoding.StrategyInfo
- Ideas.Main.BlackBoxTests
- Ideas.Main.Default
- Ideas.Main.Documentation
- Ideas.Main.Logging
- Ideas.Main.Options
- 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.Request
- Ideas.Service.ServiceList
- Ideas.Service.State
- Ideas.Service.Submit
- Ideas.Service.Types
- Ideas.Text.HTML
- Ideas.Text.JSON
- 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.Parsing
- Ideas.Text.UTF8
- Ideas.Text.XML
- Ideas.Text.XML.Document
- Ideas.Text.XML.Interface
- Ideas.Text.XML.Parser
- Ideas.Text.XML.Unicode
Dependencies
- Diff lib:Diff >=0
- HDBC lib:HDBC >=0
- HDBC-sqlite3 lib:HDBC-sqlite3 >=0
- QuickCheck lib:QuickCheck >=2.4.1 && <2.7
- array lib:array >=0
- base lib:base >=4.2 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- directory lib:directory >=0
- exceptions lib:exceptions >=0
- filepath lib:filepath >=0
- mtl lib:mtl >=2.1 && <2.2
- multipart lib:multipart >=0
- network lib:network <2.6 && >=2.6
- network-uri lib:network-uri >=2.6
- old-locale lib:old-locale >=0
- old-time lib:old-time >=0
- parsec lib:parsec >=0
- random lib:random >=0
- time lib:time >=0
- uniplate lib:uniplate >=0
- wl-pprint lib:wl-pprint >=0
- xhtml lib:xhtml >=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
- acme-everything lib:acme-everything