Index - H
| hasClassInstance | Wingman.Context |
| hasPositionalAncestry | Wingman.Judgements |
| hi_name | Wingman.Types |
| hi_provenance | Wingman.Types |
| hi_type | Wingman.Types |
| hj_ctx | Wingman.Types |
| hj_dflags | Wingman.Types |
| hj_hole_sort | Wingman.Types |
| hj_jdg | Wingman.Types |
| hj_range | Wingman.Types |
| Hole | Wingman.Types |
| HoleJudgment | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| HoleSort | Wingman.Types |
| holeSortFor | Wingman.LanguageServer |
| homo | Wingman.Tactics |
| homoLambdaCase | Wingman.Tactics |
| Homomorphism | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| HomomorphismLambdaCase | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| hoverProvider | Wingman.LanguageServer.Metaprogram |
| hush | Wingman.EmptyCase |
| hyByName | Wingman.Judgements |
| hyDiff | Wingman.Tactics |
| hyFilter | Wingman.Judgements |
| HyInfo | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| hyNamesInScope | Wingman.Judgements |
| Hypoth | Wingman.Metaprogramming.ProofState |
| Hypothesis | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| hypothesisFromBindings | Wingman.Judgements |
| hySingleton | Wingman.Judgements |