Index - T
| tag | Telomare |
| tagIExprWithEval | Telomare.Eval |
| TagT | Telomare |
| tagUPTwithIExpr | Telomare.Eval |
| TApp | Telomare |
| TAppF | Telomare |
| TCE | Telomare.Eval |
| TCheck | Telomare |
| TCheckF | Telomare |
| TChurch | Telomare |
| TChurchF | Telomare |
| TelomareLike | Telomare |
| TelomareParser | Telomare.Parser |
| telomareToFragmap | Telomare |
| Term1 | Telomare |
| Term2 | Telomare |
| Term3 | |
| 1 (Type/Class) | Telomare |
| 2 (Data Constructor) | Telomare |
| Term3' | |
| 1 (Type/Class) | Telomare.Resolver |
| 2 (Data Constructor) | Telomare.Resolver |
| term3ToUnsizedExpr | Telomare.Possible |
| Term4 | |
| 1 (Type/Class) | Telomare |
| 2 (Data Constructor) | Telomare |
| term4toAbortExpr | Telomare.Possible |
| testNEval | Telomare.RunTime |
| tEval | Telomare.RunTime |
| THash | Telomare |
| THashF | Telomare |
| ThirdArg | Telomare |
| ThirdArgA | Telomare |
| TITE | Telomare |
| TITEF | Telomare |
| TLam | Telomare |
| TLamF | Telomare |
| TLeft | Telomare |
| TLeftF | Telomare |
| TLimitedRecursion | Telomare |
| TLimitedRecursionF | Telomare |
| ToChurch | Telomare |
| toChurch | Telomare |
| toFrag | Naturals |
| toIndExpr | Telomare |
| toIndExpr' | Telomare |
| toTelomare | Telomare |
| TPair | Telomare |
| TPairF | Telomare |
| Trace | Telomare |
| TraceA | Telomare |
| traceAssociate | Telomare.TypeChecker |
| TraceF | Telomare |
| TraceFrag | Telomare |
| TraceFragF | Telomare |
| TraceP | Telomare.Eval |
| traceSet | Naturals |
| TraceT | Telomare |
| TraceUP | Telomare |
| TraceUPF | Telomare |
| transformNoDefer | Telomare.Possible |
| transformNoDeferM | Telomare.Possible |
| TRight | Telomare |
| TRightF | Telomare |
| TTrace | Telomare |
| TTraceF | Telomare |
| TVar | Telomare |
| TVarF | Telomare |
| twiddle | Telomare |
| TwoArgFun | Telomare |
| TwoArgFunA | Telomare |
| TypeAssociation | |
| 1 (Type/Class) | Telomare.TypeChecker |
| 2 (Data Constructor) | Telomare.TypeChecker |
| typeCheck | Telomare.TypeChecker |
| TypeCheckError | Telomare.TypeChecker |
| TypeDebugInfo | |
| 1 (Type/Class) | PrettyPrint |
| 2 (Data Constructor) | PrettyPrint |
| typedEval | Telomare.RunTime |
| TypeIndex | |
| 1 (Type/Class) | Naturals |
| 2 (Data Constructor) | Naturals |
| TypeVariable | Telomare |
| TZero | Telomare |
| TZeroF | Telomare |