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 |