Index - H
| hang | Util.Pretty |
| hcat | Util.Pretty |
| Help | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| help | Idris.Help |
| helphead | Idris.REPL |
| Hidden | Core.Evaluate |
| hide_list | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| HNF | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| hnf | Core.Evaluate |
| HNF_Compute | Core.ProofState, Core.Elaborate |
| hnf_compute | Core.Elaborate |
| Hole | Core.TT |
| holes | Core.ProofState, Core.Elaborate |
| hsep | Util.Pretty |
| hsimpleExpr | Idris.ParseExpr, Idris.Parser |
| hvar | IRTS.Simplified |