Index - T
| tail | Copilot.Language.Prelude, Copilot.Language |
| takeWhile | Copilot.Language.Prelude, Copilot.Language |
| tan | Copilot.Language.Prelude, Copilot.Language |
| tanh | Copilot.Language.Prelude, Copilot.Language |
| theorem | Copilot.Language.Spec, Copilot.Language |
| theorems | Copilot.Language.Spec |
| toEnum | Copilot.Language.Prelude, Copilot.Language |
| toInteger | Copilot.Language.Prelude, Copilot.Language |
| toRational | Copilot.Language.Prelude, Copilot.Language |
| toValues | Copilot.Language |
| Traversable | Copilot.Language.Prelude, Copilot.Language |
| traverse | Copilot.Language.Prelude, Copilot.Language |
| Trigger | |
| 1 (Type/Class) | Copilot.Language.Spec |
| 2 (Data Constructor) | Copilot.Language.Spec |
| trigger | Copilot.Language.Spec, Copilot.Language |
| triggers | Copilot.Language.Spec |
| True | Copilot.Language.Prelude, Copilot.Language |
| true | Copilot.Language.Operators.Boolean, Copilot.Language |
| truncate | Copilot.Language.Prelude, Copilot.Language |
| tylength | Copilot.Language |
| Type | Copilot.Language |
| Typed | Copilot.Language |
| typename | Copilot.Language |
| typeOf | Copilot.Language |
| tysize | Copilot.Language |