Index - V
| V | Idris.Core.TT |
| valIBCSubDir | Idris.AbsSyntax |
| validCoverageCase | Idris.Coverage |
| Value | Idris.Core.Evaluate |
| VApp | Idris.Core.Evaluate |
| Var | Idris.Core.TT |
| VBind | Idris.Core.Evaluate |
| VBLet | Idris.Core.Evaluate |
| VConstant | Idris.Core.Evaluate |
| VErased | Idris.Core.Evaluate |
| verbatimStringLiteral | Idris.Parser.Expr |
| Verbose | Idris.Options |
| verbose | Idris.AbsSyntax |
| verbosePPOption | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Verbosity | Idris.REPL.Commands |
| verifyTotality | Idris.Termination |
| version | IRTS.System |
| Via | Idris.Options |
| VImpossible | Idris.Core.Evaluate |
| visibleDefinitions | Idris.Core.Evaluate |
| vivid | Idris.Colours |
| VoidType | Idris.Core.TT |
| VP | Idris.Core.Evaluate |
| VProj | Idris.Core.Evaluate |
| VTmp | Idris.Core.Evaluate |
| vToP | Idris.Core.TT |
| VType | Idris.Core.Evaluate |
| VUType | Idris.Core.Evaluate |
| VV | Idris.Core.Evaluate |