idris-0.9.14.3: Functional Programming Language with Dependent Types

Index - H

handleErrorIdris.Core.Elaborate
HelpIdris.AbsSyntaxTree, Idris.AbsSyntax
helpIdris.Help
helpheadIdris.REPL
HiddenIdris.Core.Evaluate
HideDisplayIdris.AbsSyntaxTree, Idris.AbsSyntax
hide_listIdris.AbsSyntaxTree, Idris.AbsSyntax
HNFIdris.AbsSyntaxTree, Idris.AbsSyntax
hnfIdris.Core.Evaluate
HNF_ComputeIdris.Core.ProofState, Idris.Core.Elaborate
hnf_computeIdris.Core.Elaborate
Hole 
1 (Data Constructor)Idris.Core.TT
2 (Type/Class)Idris.Core.ProofTerm
holesIdris.Core.ProofState, Idris.Core.Elaborate
hsimpleExprIdris.ParseExpr, Idris.Parser