Index - A
| addTimeoutMessage | Wingman.AbstractLSP.TacticActions |
| AgdaMatch | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| algebraicTyCon | Wingman.GHC |
| allEvidenceToSubst | Wingman.Judgements.Theta |
| allNames | Wingman.Tactics |
| allOccNames | Wingman.GHC |
| AlreadyDestructed | Wingman.Types |
| AMatch | Wingman.GHC |
| amBody | Wingman.Types |
| amPats | Wingman.Types |
| Ann | Wingman.Metaprogramming.ProofState |
| annotateMetaprograms | Wingman.LanguageServer |
| appDollar | Wingman.CodeGen.Utils, Wingman.CodeGen |
| application | Wingman.Tactics |
| apply | Wingman.Tactics |
| applyByName | Wingman.Tactics |
| applyByType | Wingman.Tactics |
| applyMethod | Wingman.Tactics |
| assume | Wingman.Tactics |
| assumption | Wingman.Tactics |
| attemptOn | Wingman.Tactics |
| attemptWhen | Wingman.Machinery |
| attempt_it | Wingman.Metaprogramming.Parser |
| Auto | Wingman.Types |
| auto | Wingman.Auto |
| auto' | Wingman.Tactics |