| B16 | Idris.Core.TT |
| B16V | Idris.Core.TT |
| B32 | Idris.Core.TT |
| B32V | Idris.Core.TT |
| B64 | Idris.Core.TT |
| B64V | Idris.Core.TT |
| B8 | Idris.Core.TT |
| B8V | Idris.Core.TT |
| backtick | Idris.ParseOps, Idris.Parser |
| banner | Idris.REPL |
| BASETOP | IRTS.Bytecode |
| BC | |
| 1 (Type/Class) | IRTS.BCImp |
| 2 (Type/Class) | IRTS.Bytecode |
| bc | |
| 1 (Function) | IRTS.BCImp |
| 2 (Function) | IRTS.Bytecode |
| BCAsm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| bdecode | Idris.IBC |
| BE | IRTS.Lang, IRTS.Defunctionalise |
| BelieveMe | Idris.Core.Evaluate |
| bencode | Idris.IBC |
| BI | Idris.Core.TT |
| bi | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Bigger | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| bigInteger | IRTS.Java.ASTBuilding |
| bigIntegerType | IRTS.Java.JTypes |
| binary | Idris.ParseOps, Idris.Parser |
| Bind | Idris.Core.TT |
| bindAll | Idris.Core.TT |
| Binder | Idris.Core.TT |
| binderTy | Idris.Core.TT |
| binderVal | Idris.Core.TT |
| Binding | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| bindingOf | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| bindList | Idris.ParseHelpers, Idris.Parser |
| bindTyArgs | Idris.Core.TT |
| bold | Idris.Colours |
| BoolAtom | Idris.IdeSlave |
| Bound | Idris.Core.TT |
| boundNamesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| BoundVarColour | Idris.Colours |
| boundVarColour | Idris.Colours |
| box | IRTS.Java.JTypes |
| brace_stack | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| bracketed | Idris.ParseExpr, Idris.Parser |
| bracketedExpr | Idris.ParseExpr, Idris.Parser |
| BufferType | Idris.Core.TT |
| bugaddr | Idris.Delaborate |
| build | |
| 1 (Function) | Idris.ElabTerm |
| 2 (Function) | IRTS.Compiler |
| buildMods | Pkg.Package |
| buildPkg | Pkg.Package |
| buildSCG | Idris.Coverage |
| buildSCG' | Idris.Coverage |
| buildTC | Idris.ElabTerm |
| buildTree | Idris.Chaser |
| ByReflection | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Bytecode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| byteType | IRTS.Java.JTypes |