Index - T
| targetInRange | Fitch.Proof |
| Term | Fitch.Proof |
| termMatchesSpec | Fitch.Unification |
| TermSpec | Specification.Types |
| testInvalidFormulae | FOLTest |
| testInvalidRules | FOLTest |
| testValidProofs | FOLTest |
| TFun | Specification.Types |
| toAssumption | Fitch.Proof |
| toDerivation | Fitch.Proof |
| ToggleSidebar | App.Model |
| toggleSidebar | App.Update |
| TPlaceholder | Specification.Types |
| tryParse | App.Update |
| TVar | Specification.Types |