Index - T
| take | Server.CommandController |
| text | Render.RichText, Render |
| text' | Render.RichText, Render |
| toAgdaPositionWithoutFile | Agda.Position |
| toAgdaRange | Agda.Position |
| tokenAt | Agda.Parser |
| ToOffset | |
| 1 (Type/Class) | Agda.Position |
| 2 (Data Constructor) | Agda.Position |
| toOffset | Agda.Position |
| tryPeekSizedChan | Control.Concurrent.SizedChan |
| tryReadSizedChan | Control.Concurrent.SizedChan |