Index - T
| t1 | TreeShapedOrder |
| t2 | TreeShapedOrder |
| t3 | TreeShapedOrder |
| t4 | TreeShapedOrder |
| t5 | TreeShapedOrder |
| Tag | Abstract |
| Tagged | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| Tags | Abstract |
| tags | Abstract |
| tailPosl | TypeChecker |
| target | Termination |
| TBind | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| TBinding | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| tbindNames | Concrete |
| TBound | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| TBounded | Concrete |
| TCContext | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| TContext | |
| 1 (Type/Class) | ToHaskell |
| 2 (Data Constructor) | ToHaskell |
| TCState | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| teleLam | Abstract |
| teleNames | Concrete |
| Telescope | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| telescope | Abstract |
| teleToType | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| teleToType' | Abstract |
| teleToTypeErase | Abstract |
| teleToTypeM | Abstract |
| TeleVal | Value |
| telView | Eval |
| terminationCheck | Termination |
| terminationCheckFuns | Termination |
| test_spineView | Abstract |
| text | PrettyTCM |
| theName | Concrete |
| thePolarity | Abstract |
| throwErrorMsg | TraceError |
| throwTrace | TraceError |
| Times | Lexer |
| Tm | Abstract |
| TMeasure | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| ToExpr | PrettyTCM |
| toExpr | Eval |
| toExpression | PrettyTCM |
| toForest | TreeShapedOrder |
| Token | Lexer |
| toList12 | TCM |
| toLists | SparseMatrix |
| toMaybe12 | TCM |
| topSort | Abstract |
| toTwo | TCM |
| traceAdm | TypeChecker |
| traceAdmM | TypeChecker |
| traceCheck | TypeChecker |
| traceCheckM | TypeChecker |
| TraceError | TraceError |
| traceEta | Eval |
| traceEtaM | Eval |
| traceExtrM | Extract |
| traceLoop | Eval |
| traceLoopM | Eval |
| traceM | Util |
| traceMatch | Eval |
| traceMatchM | Eval |
| traceMeta | TCM |
| traceMetaM | TCM |
| traceProg | Termination |
| traceProgM | Termination |
| traceRecord | Eval |
| traceRecordM | Eval |
| traceRew | TCM |
| traceRewM | TCM |
| traceSig | TCM |
| traceSing | TypeChecker |
| traceSingM | TypeChecker |
| traceSize | Eval |
| traceSizeM | Eval |
| traceSolve | Warshall |
| traceSolveM | Warshall |
| traceTerm | Termination |
| traceTermM | Termination |
| Translate | ToHaskell |
| translateClause | ToHaskell |
| translateConstructor | ToHaskell |
| translateDataDecl | ToHaskell |
| translateDecl | ToHaskell |
| translateDecls | ToHaskell |
| translateExpr | ToHaskell |
| translateFun | ToHaskell |
| translateFuns | ToHaskell |
| translateKind | ToHaskell |
| translateLet | ToHaskell |
| translateModule | ToHaskell |
| translatePattern | ToHaskell |
| translateTBind | ToHaskell |
| translateTelescope | ToHaskell |
| translateType | ToHaskell |
| translateTypeSig | ToHaskell |
| transp | Termination |
| transpose | SparseMatrix |
| TrErr | TraceError |
| TrustMe | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| tryIrregularBound | Eval |
| TSize | Abstract |
| tSize | Abstract |
| TSO | |
| 1 (Type/Class) | TreeShapedOrder |
| 2 (Data Constructor) | TreeShapedOrder |
| tsoBind | Termination |
| tsoCase | Termination |
| tsoFromPatterns | Abstract |
| TState | |
| 1 (Type/Class) | ToHaskell |
| 2 (Data Constructor) | ToHaskell |
| turnIntoVarPatAtUnitType | TypeChecker |
| TVal | Value |
| Two | TCM |
| typ | Abstract |
| Type | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Type/Class) | HsSyntax |
| 4 (Type/Class) | Concrete |
| TypeCheck | TCM |
| typeCheck | TypeChecker |
| typeCheckConstructor | TypeChecker |
| typeCheckDataDecl | TypeChecker |
| typeCheckDeclaration | TypeChecker |
| typeCheckDecls | TypeChecker |
| typeCheckFunBody | TypeChecker |
| typeCheckFunClauses | TypeChecker |
| typeCheckFuns | TypeChecker |
| typeCheckFunSig | TypeChecker |
| typeCheckMeasuredFuns | TypeChecker |
| typeCheckMutualBody | TypeChecker |
| typeCheckMutualSig | TypeChecker |
| typeCheckMutualSigs | TypeChecker |
| typeCheckSignature | TypeChecker |
| typePart | Abstract |
| TypeShape | Eval |
| TypeSig | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| typeToTele | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| typeToTele' | Abstract |
| typeView | Eval |
| typeView12 | Eval |
| TySig | Abstract |
| TyVarBind | HsSyntax |