| Easy | Ideas.Common.Exercise, Ideas.Common.Library |
| eitherEncoder | Ideas.Encoding.Evaluator |
| Element | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| 3 (Type/Class) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| 4 (Data Constructor) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| element | Ideas.Text.XML |
| elementAt | Ideas.Common.Utils |
| ElementDecl | Ideas.Text.XML.Document |
| elements | Ideas.Common.Utils.QuickCheck |
| Empty | Ideas.Text.XML.Document |
| empty | Ideas.Common.Strategy.Sequential |
| emptyDef | Ideas.Text.Parsing |
| emptyDerivation | Ideas.Common.Derivation, Ideas.Common.Library |
| emptyExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| emptyPath | Ideas.Common.Strategy.Path, Ideas.Common.Strategy, Ideas.Common.Library |
| emptyPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| emptyRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| emptyState | Ideas.Service.State |
| emptyStateContext | Ideas.Service.State |
| emptySubst | Ideas.Common.Rewriting.Substitution |
| emptyTag | Ideas.Text.XML |
| EncCompact | Ideas.Service.Request |
| EncHTML | Ideas.Service.Request |
| encode | Ideas.Text.UTF8 |
| encodeM | Ideas.Text.UTF8 |
| encoderFor | Ideas.Encoding.Evaluator |
| EncoderState | Ideas.Encoding.Evaluator |
| encoderStateFor | Ideas.Encoding.Evaluator |
| encodeState | Ideas.Encoding.EncoderXML |
| encodeTerm | Ideas.Encoding.EncoderXML |
| encodeTyped | Ideas.Encoding.Evaluator |
| Encoding | Ideas.Service.Request |
| encoding | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Service.Request |
| EncOpenMath | Ideas.Service.Request |
| EncPretty | Ideas.Service.Request |
| EncString | Ideas.Service.Request |
| endBy | Ideas.Text.Parsing |
| endBy1 | Ideas.Text.Parsing |
| Endo | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Evaluator |
| endpoint | Ideas.Common.DerivationTree, Ideas.Common.Library |
| Enter | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| EntitiesType | Ideas.Text.XML.Document |
| EntityDecl | Ideas.Text.XML.Document |
| EntityDef | Ideas.Text.XML.Document |
| EntityRef | Ideas.Text.XML.Document |
| EntityType | Ideas.Text.XML.Document |
| EntityValue | Ideas.Text.XML.Document |
| EnumerationType | Ideas.Text.XML.Document |
| Env | Ideas.Service.FeedbackScript.Run |
| Environment | |
| 1 (Type/Class) | Ideas.Common.Environment, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| 3 (Type/Class) | Ideas.Service.FeedbackScript.Run |
| environment | Ideas.Common.Environment, Ideas.Common.Library |
| EnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| envMonadFunctionRefs | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| envMonadRefs | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| eof | Ideas.Text.Parsing |
| eqFMP | Ideas.Text.OpenMath.FMP |
| eqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| Equal | Ideas.Service.Types |
| equal | Ideas.Service.Types |
| equalM | Ideas.Service.Types |
| equivalence | Ideas.Common.Exercise, Ideas.Common.Library |
| equivalent | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| equivalentSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| errorPos | Ideas.Text.Parsing |
| eSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| eval | Ideas.Service.FeedbackScript.Run |
| evalEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| evalPredicate | Ideas.Common.Predicate, Ideas.Common.Library |
| evalService | Ideas.Encoding.Evaluator |
| Evaluator | |
| 1 (Type/Class) | Ideas.Encoding.Evaluator |
| 2 (Data Constructor) | Ideas.Encoding.Evaluator |
| exampleDerivations | Ideas.Service.BasicServices |
| ExampleMap | Ideas.Encoding.RulesInfo |
| Examples | Ideas.Common.Exercise, Ideas.Common.Library |
| examples | Ideas.Common.Exercise, Ideas.Common.Library |
| examplesContext | Ideas.Common.Exercise, Ideas.Common.Library |
| exchangeInverses | Ideas.Common.Algebra.FieldLaws |
| execEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| Exercise | |
| 1 (Type/Class) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| exercise | Ideas.Service.State |
| exerciseId | |
| 1 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.Request |
| exercises | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| exercisesSorted | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| exerciseTestSuite | Ideas.Common.ExerciseTests |
| exhaustive | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| existsSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| Exit | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| Expand | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| expand | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| Expected | Ideas.Service.Diagnose |
| expected | Ideas.Service.FeedbackScript.Run |
| expectFailure | Ideas.Common.Utils.QuickCheck |
| Experimental | Ideas.Common.Exercise, Ideas.Common.Library |
| expSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| extend | Ideas.Common.Derivation, Ideas.Common.Library |
| External | Ideas.Text.XML.Document |
| ExternalID | Ideas.Text.XML.Document |
| externals | Ideas.Text.XML.Document |
| extParsedEnt | Ideas.Text.XML.Parser |
| extraRules | Ideas.Common.Exercise, Ideas.Common.Library |
| extraSymbol | Ideas.Text.OpenMath.Symbol |
| extSubset | Ideas.Text.XML.Parser |