Index - D
| defaultConfig | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.CP |
| 3 (Function) | Twee.Join |
| 4 (Function) | Twee |
| delete | |
| 1 (Function) | Twee.Index |
| 2 (Function) | Twee.Rule.Index |
| DeleteActive | Twee |
| deleteActive | Twee |
| Depth | |
| 1 (Type/Class) | Twee.CP |
| 2 (Data Constructor) | Twee.CP |
| dequeue | Twee |
| Derivation | Twee.Proof |
| derivation | Twee.Proof |
| describeEquation | Twee.Proof |
| direct | Twee.CP |
| Direction | Twee.CP |
| directions | Twee.CP |
| disj | Twee.Constraints |
| Doc | Twee.Pretty, Twee.Base |
| double | Twee.Pretty, Twee.Base |
| doubleQuotes | Twee.Pretty, Twee.Base |