| tab | Ideas.Text.Parsing |
| table | Ideas.Text.HTML |
| tableStatus | Ideas.Common.Utils.StringRef |
| Tag | Ideas.Service.Types |
| tag | Ideas.Text.XML |
| Tagged | Ideas.Text.XML.Document |
| tanhSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| tAnswer | Ideas.Service.ProblemDecomposition |
| tanSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| taskid | Ideas.Main.Logging |
| tBool | Ideas.Service.Types |
| TCon | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| tContext | Ideas.Service.Types |
| tDerivation | Ideas.Service.Types |
| tDiagnosis | Ideas.Service.Diagnose |
| tDifficulty | Ideas.Service.Types |
| tDomainReasoner | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| tEnvironment | Ideas.Service.Types |
| Term | |
| 1 (Type/Class) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| termEquality | Ideas.Common.Rewriting.Confluence |
| termNavigator | Ideas.Common.Context, Ideas.Common.Library |
| termRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| terms | Ideas.Common.Derivation, Ideas.Common.Library |
| termToJSON | Ideas.Encoding.Encoder |
| termView | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| ternary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| tError | Ideas.Service.Types |
| Test | Ideas.Main.Options |
| Testable | Ideas.Common.Utils.QuickCheck |
| testGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| testIterator | Ideas.Common.Traversal.Tests |
| testNavigator | Ideas.Common.Traversal.Tests |
| tests | |
| 1 (Function) | Ideas.Common.Traversal.Tests |
| 2 (Function) | Ideas.Common.Rewriting.Substitution |
| TestSuite | Ideas.Common.Utils.TestSuite |
| testSuite | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| tExamples | Ideas.Service.Types |
| tExercise | Ideas.Service.Types |
| Text | |
| 1 (Type/Class) | Ideas.Service.FeedbackScript.Syntax |
| 2 (Data Constructor) | Ideas.Service.Types |
| text | |
| 1 (Function) | Ideas.Text.XML, Ideas.Text.HTML |
| 2 (Function) | Ideas.Service.FeedbackText |
| TextDecl | Ideas.Text.XML.Document |
| TextEmpty | Ideas.Service.FeedbackScript.Syntax |
| TextForId | Ideas.Service.FeedbackScript.Syntax |
| textForIdDecl | Ideas.Service.FeedbackScript.Syntax |
| textItems | Ideas.Service.FeedbackScript.Syntax |
| TextRef | Ideas.Service.FeedbackScript.Syntax |
| TextString | Ideas.Service.FeedbackScript.Syntax |
| TextTerm | Ideas.Service.FeedbackScript.Syntax |
| TFloat | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| thd3 | Ideas.Common.Utils |
| theException | Ideas.Common.Utils.QuickCheck |
| tId | Ideas.Service.Types |
| time | Ideas.Main.Logging |
| timedSeconds | Ideas.Common.Utils |
| timeInterval | Ideas.Common.Utils.TestSuite |
| timesInverse | Ideas.Common.Algebra.Field |
| timesSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| tInt | Ideas.Service.Types |
| tIO | Ideas.Service.Types |
| titleA | Ideas.Text.HTML |
| TList | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| tList | Ideas.Service.Types |
| tLocation | Ideas.Service.Types |
| tMaybe | Ideas.Service.Types |
| tMessage | Ideas.Service.FeedbackText |
| TMeta | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| TNum | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| to | Ideas.Common.View, Ideas.Common.Library |
| toArbGen | Ideas.Common.Utils.QuickCheck |
| toArity | Ideas.Common.Strategy.StrategyTree |
| toJSON | Ideas.Text.JSON |
| token | Ideas.Text.Parsing |
| tokenPrim | Ideas.Text.Parsing |
| tokenPrimEx | Ideas.Text.Parsing |
| tokens | Ideas.Text.Parsing |
| toLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| toObject | Ideas.Text.OpenMath.FMP |
| toOMOBJ | Ideas.Encoding.OpenMathSupport |
| toOpenMath | Ideas.Encoding.OpenMathSupport |
| top | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| topdown | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| topMessages | Ideas.Common.Utils.TestSuite |
| toStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| toStrategyTree | Ideas.Common.Strategy.Abstract |
| toString | Ideas.Common.Utils.StringRef |
| toTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| toView | Ideas.Common.View, Ideas.Common.Library |
| toXML | Ideas.Text.XML |
| tPair | Ideas.Service.Types |
| tQCGen | Ideas.Service.Types |
| Trans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transApply | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transApplyWith | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transc1List | Ideas.Text.OpenMath.Dictionary.Transc1 |
| transEnvMonad | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transform | Ideas.Common.Utils.Uniplate |
| Transformation | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transformation | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| transformM | Ideas.Common.Utils.Uniplate |
| transLiftContext | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftContextIn | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftView | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftViewIn | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transList | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transMaybe | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transPure | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transRef | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transRewrite | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transUseEnvironment | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| traversalFilter | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| traverse | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| traverseView | Ideas.Common.View, Ideas.Common.Library |
| tReply | Ideas.Service.ProblemDecomposition |
| tResult | Ideas.Service.Submit |
| triples | Ideas.Common.Derivation, Ideas.Common.Library |
| true | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| trueSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| tRule | Ideas.Service.Types |
| try | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Derived |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| tScript | Ideas.Service.Types |
| tService | Ideas.Service.Types |
| tSomeExercise | Ideas.Service.Types |
| tState | Ideas.Service.Types |
| tStepInfo | Ideas.Service.BasicServices |
| tStrategy | Ideas.Service.Types |
| tStrategyCfg | Ideas.Service.Types |
| tString | Ideas.Service.Types |
| tt | Ideas.Text.HTML |
| tTerm | Ideas.Service.Types |
| tTestSuiteResult | Ideas.Service.Types |
| tText | Ideas.Service.Types |
| tTree | Ideas.Service.Types |
| ttText | Ideas.Text.HTML |
| tTuple3 | Ideas.Service.Types |
| tTuple4 | Ideas.Service.Types |
| tTuple5 | Ideas.Service.Types |
| tUnit | Ideas.Service.Types |
| tUserId | Ideas.Service.Types |
| TVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Type | Ideas.Service.Types |
| TypedDecoder | Ideas.Encoding.Encoder |
| TypedEncoder | Ideas.Encoding.Encoder |
| TypedValue | Ideas.Service.Types |
| TypeRep | Ideas.Service.Types |