Index - T
| Tail | Theory.Lists |
| tail | Theory.Lists |
| tailOfCons | Theory.Lists |
| The | |
| 1 (Type/Class) | Data.The, GDP |
| 2 (Data Constructor) | Data.The, GDP |
| the | Data.The, GDP |
| Transitive | Logic.Classes, GDP |
| transitive | Logic.Classes, GDP |
| transitive' | Logic.Classes, GDP |
| traverseP | Data.Refined, GDP |
| traverseP_ | Data.Refined, GDP |
| TRUE | Logic.Propositional, GDP |
| true | Logic.Propositional, GDP |